HMF: simple type inference for first-class polymorphism, in (0)

by D Leijen
Venue:Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, ACM