Raising ML to the Power of System F (2003)
| Venue: | In ICFP ’03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming |
| Citations: | 9 - 0 self |
BibTeX
@INPROCEEDINGS{Botlan03raisingml,
author = {Didier Le Botlan and Didier Remy},
title = {Raising ML to the Power of System F},
booktitle = {In ICFP ’03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming},
year = {2003},
pages = {27--38},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a type system MLF that generalizes ML with first-class polymorphism as in System F. We perform partial type reconstruction. As in ML and in opposition to System F, each typable expression admits a principal type, which can be inferred. Furthermore, all expressions of ML are well-typed, with a possibly more general type than in ML, without any need for type annotation. Only arguments of functions that are used polymorphically must be annotated, which allows to type all expressions of System F as well.
