Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell (2003)
Cached
Download Links
- [www.dcc.ufmg.br]
- [www.dcc.ufmg.br]
- [www.jucs.org]
- DBLP
Other Repositories/Bibliography
by
Cristiano Vasconcellos
,
Lucília Figueiredo
,
Carlos Camarão
| Venue: | JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Citations: | 1 - 0 self |
BibTeX
@ARTICLE{Vasconcellos03practicaltype,
author = {Cristiano Vasconcellos and Lucília Figueiredo and Carlos Camarão},
title = {Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell},
journal = {JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
year = {2003},
number = {9},
pages = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a practical type inference algorithm for typing polymorphic and possibly mutually recursive definitions, using Haskell to provide a high-level implementation of the algorithm.
