Matthias Zenger
Research Areas
Authored Publications
Google Publications
Other Publications
Sort By
Programming Language Abstractions for Extensible Software Components
Ph.D. Thesis, EPFL (2004)
A Nominal Theory of Objects with Dependent Types
Type-Safe Prototype-Based Component Evolution
ECOOP (2002), pp. 470-497
Colored Local Type Inference
Extensible Algebraic Datatypes with Defaults
JavaParty - portables paralleles und verteiltes Programmieren in Java
JavaParty - Transparent Remote Objects in Java
Michael Philippsen
Concurrency - Practice and Experience, vol. 9 (1997), pp. 1225-1242