Practical type inference for arbitrary-rank types (2005)

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