A Type-Theoretic Interpretation of Standard ML (2000)
Cached
Download Links
- [www.aladdin.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Robert Harper
,
Christopher Stone
| Venue: | IN PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER |
| Citations: | 80 - 13 self |
BibTeX
@INPROCEEDINGS{Harper00atype-theoretic,
author = {Robert Harper and Christopher Stone},
title = {A Type-Theoretic Interpretation of Standard ML},
booktitle = {IN PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER},
year = {2000},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
