Practical type inference for arbitrary-rank types (2005)

by Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones
Venue:Journal of Functional Programming