Colored Local Type Inference (2001)
| Citations: | 53 - 9 self |
BibTeX
@MISC{Odersky01coloredlocal,
author = {Martin Odersky and Matthias Zenger and Matthias Zenger},
title = {Colored Local Type Inference},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a type system for a language based on F# , which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We refine the previously existing local type inference system of Pierce and Turner[PT98] by allowing partial type information to be propagated. This is expressed by coloring types to indicate propagation directions. Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.
Citations
No citations identified.
