Type Theory (1994)
| Venue: | In Handbook of Logic and Language. North |
| Citations: | 10 - 0 self |
BibTeX
@INPROCEEDINGS{Pierce94typetheory,
author = {Benjamin C. Pierce and David N. Turner},
title = {Type Theory},
booktitle = {In Handbook of Logic and Language. North},
year = {1994},
pages = {42--67}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One method infers type arguments in polymorphic applications using a local constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate our design choices by a statistical analysis of the uses of type inference in a sizable body of existing ML code.
Citations
No citations identified.
