Structural Subtyping and the Notion of Power Type (1988)
Cached
Download Links
- [research.compaq.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [lucacardelli.name]
- DBLP
Other Repositories/Bibliography
by
Luca Cardelli
| Venue: | IN PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES |
| Citations: | 57 - 1 self |
BibTeX
@INPROCEEDINGS{Cardelli88structuralsubtyping,
author = {Luca Cardelli},
title = {Structural Subtyping and the Notion of Power Type},
booktitle = {IN PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES},
year = {1988},
pages = {70--79},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 727 | On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985 |
| 634 | A framework for defining logics - Harper, Honsell, et al. - 1999 |
| 267 | G.D.: Abstract types have existential types - Mitchell, Plotkin - 1988 |
| 127 | Complete type inference for simple objects - Wand - 1987 |
| 57 | A kernel language for abstract data types and modules - Burstall, Lampson - 1984 |
| 28 | Typechecking dependent types and subtypes - Cardelli - 1988 |
| 17 | Type’ is not a type — Preliminary Report - Meyer, Reinhold - 1986 |
| 5 | An intuitionistic theory of types: predicative part - Martin-Lf - 1973 |
| 1 | A polymorphic l-calculus with Type:Type - Cardelli - 1986 |
