Simple unification-based type inference for GADTs (2006)

by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
Venue:In Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming