Practical type inference for arbitrary-rank types (0)

by S Peyton Jones, D Vytiniotis, S Weirich, M Shields
Venue:J. Funct. Program