Microsoft (United States) — United States
Computer Science · Physical Sciences
13h-index851citations19works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(13), Parallel Computing and Optimization Techniques(6), Advanced Database Systems and Queries(5), Software Engineering Research(4), Distributed and Parallel Computing Systems(4)
Publications19 total
Lecture notes in computer science·2014· 197 cited
Lecture notes in computer science·2012· 41 cited
Lecture notes in computer science·2010· 30 cited
Addison-Wesley Professional eBooks·2008· 37 cited
ACM SIGPLAN Notices·2007· 6 cited
2007· 53 cited
2007· 13 cited
2006· 4 cited
Computer Languages Systems & Structures·2005· 16 cited
2004· 106 cited
The Journal of Object Technology·2004· 52 citedOpen Access
Lecture notes in computer science·2004· 107 cited
The expression problem revisited: Four new solutions using generics
2004· 70 cited
C# Programming Language
CERN Document Server (European Organization for Nuclear Research)·2003· 36 cited
How to circumvent church numerals
2002· 1 cited
Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes
1999· 63 cited
A CONCEPTUAL APPROACH TO TEACHING OBJECT-ORIENTATION TO C PROGRAMMERS
1999· 1 cited
Lecture notes in computer science·1999· 18 cited
Frequent Co-authors
Gavin Bierman(5), Kresten Krab Thorup(4), Erik Meijer(4), Christian Plesner Hansen(2), Erik Ernst(2), Peter von der Ahé(2), Gilad Bracha(2), Neal Gafter(2), Anders Hejlsberg(2), Scott Wiltamuth(2), Peter Golde(2), Martı́n Abadi(1), Claudio Russo(1), Geoffrey Mainland(1), Jakob R. Andersen(1), Lars Bak(1), Steffen Grarup(1), Kasper Lund(1), Toke Eskildsen(1), Klaus Hansen(1)