Practical type inference for arbitrary-rank types (2007)

by Simon Peyton Jones , Dimitrios Vytiniotis , Stephanie C. Weirich , Mark Shields
Citations:101 - 21 self