Discriminative sum types locate the source of type errors (2003)

by M Neubauer, P Thiemann
Venue:In ICFP ’03