A theory of primitive objects: second-order systems
Cached
Download Links
- [lucacardelli.name]
- [research.microsoft.com]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Martín Abadi
,
Luca Cardelli
| Venue: | Proc. ESOP’94 - European Symposium on Programming |
| Citations: | 53 - 7 self |
BibTeX
@INPROCEEDINGS{Abadi_atheory,
author = {Martín Abadi and Luca Cardelli},
title = {A theory of primitive objects: second-order systems},
booktitle = {Proc. ESOP’94 - European Symposium on Programming},
year = {},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types. 1.
