Phase Distinctions in Type Theory (1988)
Cached
Download Links
by
Luca Cardelli
| Citations: | 18 - 0 self |
BibTeX
@TECHREPORT{Cardelli88phasedistinctions,
author = {Luca Cardelli},
title = {Phase Distinctions in Type Theory},
institution = {},
year = {1988}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 634 | A framework for defining logics - Harper, Honsell, et al. - 1999 |
| 267 | G.D.: Abstract types have existential types - Mitchell, Plotkin - 1988 |
| 57 | A kernel language for abstract data types and modules - Burstall, Lampson - 1984 |
| 26 | Data Types are Values - Donahue, Demers - 1985 |
| 5 | An intuitionistic theory of types: predicative part - Martin-Lf - 1973 |
