Simple unification-based type inference for GADTs (2006)

by S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
Venue:In Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming