Simple unification-based type inference for GADTs.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Browse the full ICFP paper archive.