Complete and decidable type inference for GADTs.

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis

Browse the full ICFP paper archive.