Travelled to:
1 × Germany
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
M.Odersky ∅ C.Zenger V.Cremet C.Röckl
Talks about:
type (3) compon (2) prototyp (1) abstract (1) scalabl (1) default (1) datatyp (1) algebra (1) theori (1) object (1)
Person: Matthias Zenger
DBLP: Zenger:Matthias
Contributed to:
Wrote 5 papers:
- OOPSLA-2005-OderskyZ #abstraction #component #scalability
- Scalable component abstractions (MO, MZ), pp. 41–57.
- ECOOP-2003-OderskyCRZ #dependent type
- A Nominal Theory of Objects with Dependent Types (MO, VC, CR, MZ), pp. 201–224.
- ECOOP-2002-Zenger #component #evolution #prototype #type safety
- Type-Safe Prototype-Based Component Evolution (MZ), pp. 470–497.
- ICFP-2001-ZengerO #algebra #data type
- Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
- POPL-2001-OderskyZZ #type inference
- Colored local type inference (MO, CZ, MZ), pp. 41–53.