Persistence and type abstraction (1988)
by
Luca Cardelli
,
David Macqueen
| Venue: | University of St. Andrews, Department of Computational Science, Persistent |
| Citations: | 14 - 2 self |
BibTeX
@INPROCEEDINGS{Cardelli88persistenceand,
author = {Luca Cardelli and David Macqueen},
title = {Persistence and type abstraction},
booktitle = {University of St. Andrews, Department of Computational Science, Persistent},
year = {1988},
pages = {31--41},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 727 | On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985 |
| 267 | G.D.: Abstract types have existential types - Mitchell, Plotkin - 1988 |
| 229 | An approach to persistent programming - Atkinson, Bailey, et al. - 1983 |
