HMF: simple type inference for first-class polymorphism (2008)

by D Leijen
Venue:In Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008