Principal Type Schemes for Functional Programs with Overloading and Subtyping (1994)
| Venue: | Science of Computer Programming |
| Citations: | 40 - 1 self |
BibTeX
@INPROCEEDINGS{Smith94principaltype,
author = {Geoffrey S. Smith},
title = {Principal Type Schemes for Functional Programs with Overloading and Subtyping},
booktitle = {Science of Computer Programming},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our approach is to attach constraints to quantified types in order to restrict the allowed instantiations of type variables. We present an algorithm for inferring principal types and prove its soundness and completeness. We find that it is necessary in practice to simplify the inferred types, and we describe techniques for type simplification that involve shape unification, strongly connected components, transitive reduction, and the monotonicities of type formulas.
