Practical type inference for arbitrary-rank types (2007)

by Peyton Jones, S Vytiniotis, D Weirich, S, M Shields
Venue:Proceedings of POPL’06. ACM