Practical type inference for arbitrary-rank types (2005)

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