Back to Results
First PageMeta Content
Type theory / Data types / Functional languages / Type systems / Object-oriented programming languages / OCaml / Type inference / Generalized algebraic data type / Unification / ML / HindleyMilner type system / Type conversion


Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract
Add to Reading List

Document Date: 2012-09-06 08:22:15

Open Document

File Size: 44,49 KB

Share Result on Facebook