A Simplified Account of Polymorphic References (1994)
Cached
Download Links
by
Robert Harper
| Venue: | INFORMATION PROCESSING LETTERS |
| Citations: | 56 - 7 self |
BibTeX
@INPROCEEDINGS{Harper94asimplified,
author = {Robert Harper},
title = {A Simplified Account of Polymorphic References},
booktitle = {INFORMATION PROCESSING LETTERS },
year = {1994},
pages = {201--206},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A proof of the soundness of Tofte's imperative type discipline with respect to a structured operational semantics is given. The presentation is based on a semantic formalism that combines the benefits of the approaches considered by Wright and Felleisen, and by Tofte, leading to a particularly simple proof of soundness of Tofte's type discipline.
