2 search results - page 1 / 1 » Simple unification-based type inference for GADTs |
ICFP
2006
ACM
14 years 5 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
TLDI
2010
ACM
14 years 1 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...