Practical type inference for arbitrary-rank types (2005)

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton-Jones
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:101 - 21 self