To System F.

Translating Generalized Algebraic Data Types (2008)

To System F, Martin Sulzmann, Meng Wang

1 Introduction Generalized algebraic data types (GADTs) are an extension of (boxed) existen-tial types [17]. The novelty of GADTs is that we may include syntactic type equality constraints, i.e....