Unification and Polymorphism in Region Inference (1996)
by
Mads Tofte
,
Lars Birkedal
| Venue: | In Proof, Language, and Interaction: Essays in Honour of Robin Milner |
| Citations: | 10 - 2 self |
BibTeX
@INPROCEEDINGS{Tofte96unificationand,
author = {Mads Tofte and Lars Birkedal},
title = {Unification and Polymorphism in Region Inference},
booktitle = {In Proof, Language, and Interaction: Essays in Honour of Robin Milner},
year = {1996},
pages = {389--425},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Region Inference is a technique for inferring lifetimes of values in strict, higher-order programming languages such as Standard ML. The purpose of this paper is to show how ideas from Milner's polymorphic type discipline can serve as a basis for region inference, even in the presence of a limited form of polymorphic recursion.
