Standard ML-NJ weak polymorphism and imperative constructs (1996)
Cached
Download Links
- [theory.stanford.edu]
- [theory.stanford.edu]
- DBLP
Other Repositories/Bibliography
by
John Mitchell
,
Ramesh Viswanathan
| Venue: | IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE |
| Citations: | 11 - 0 self |
BibTeX
@INPROCEEDINGS{Mitchell96standardml-nj,
author = {John Mitchell and Ramesh Viswanathan},
title = {Standard ML-NJ weak polymorphism and imperative constructs},
booktitle = {IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE},
year = {1996},
pages = {15--25},
publisher = {IEEE}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Standard ML of New Jersey (SML-NJ) uses "weak type variables" to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use exceptions. However, the
