A Nominal Theory of Objects with Dependent Types (2002)
Cached
Download Links
| Venue: | In Proc. ECOOP’03, Springer LNCS |
| Citations: | 84 - 14 self |
BibTeX
@INPROCEEDINGS{Odersky02anominal,
author = {Martin Odersky and Vincent Cremet and Christine Röckl and Matthias Zenger},
title = {A Nominal Theory of Objects with Dependent Types},
booktitle = {In Proc. ECOOP’03, Springer LNCS},
year = {2002},
pages = {201--224},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type members can be aliases, abstract types, or new types. The type system can model the essential concepts of Java's inner classes as well as virtual types and family polymorphism found in BETA or gbeta. It can also model most concepts of SML-style module systems, including sharing constraints and higher-order functors, but excluding applicative functors. The type system can thus...
