Michael I. Schwartzbach

Object-oriented type inference

Jens Palsberg, Michael I. Schwartzbach · 1991 · 305 citations · Full text

Computing, Computer Science, Computer Architecture +11

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach · 2001 · 264 citations

Computing, Computer Engineering, Computer Science +16

Graph types

Nils Klarlund, Michael I. Schwartzbach · 1993 · 141 citations

Computing, Computer Science, Algorithms +11

MONA IMPLEMENTATION SECRETS

Nils Klarlund, Anders Møller, Michael I. Schwartzbach · International Journal of Foundations of Computer Science · 2002 · 136 citations

Computing, Computer Science, Algorithms +11

Extending Java for high-level Web service construction

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach · ACM Transactions on Programming Languages and Systems · 2003 · 119 citations · Full text

Computing, Computer Science, Programming Languages +9