Sciweavers

TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
14 years 2 months ago
Pointwise generalized algebraic data types
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...
Chuan-kai Lin, Tim Sheard