Wobbly Types: Type Inference for Generalised Algebraic Data Types (2004)
by
Simon Peyton Jones
,
Geoffrey Washburn
,
Stephanie Weirich
| Citations: | 42 - 2 self |
BibTeX
@TECHREPORT{Jones04wobblytypes:,
author = {Simon Peyton Jones and Geoffrey Washburn and Stephanie Weirich},
title = {Wobbly Types: Type Inference for Generalised Algebraic Data Types},
institution = {},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Generalised algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generalisation of the data types of Haskell and ML. Recent works have given compelling examples of the utility of GADTs, although type inference is known to be difficult.
