Document Versions

A Nominal Theory of Objects with Dependent Types –Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger — 2002 — In Proc. ECOOP’03, Springer LNCS
A Nominal Theory of Objects with Dependent Types –Martin Odersky , Vincent Cremet, Christine Röckl, Matthias Zenger — 2002 — IN PROC. ECOOP’03, SPRINGER LNCS
A Nominal Theory of Objects with Dependent Types –Martin Odersky , Vincent Cremet, Christine Röckl, Matthias Zenger — 2002
A Nominal Theory of Objects with Dependent Types –Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger — 2002
A nominal theory of objects with dependent types –Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger, École Polytechnique Fédérale De — 2003 — European Conference on Object-Oriented Programming (ECOOP), volume 2743 of LNCS
A Nominal Theory of Objects with Dependent Types –Martin Odersky , Vincent Cremet, Christine Röckl, Matthias Zenger — 2002
A Nominal Theory of Objects with Dependent Types –Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger — 2002 — In Proc. ECOOP’03, Springer LNCS
A Nominal Theory of Objects with Dependent Types –Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger — 2003 — In Proc. ECOOP’03, Springer LNCS