HMF: simple type inference for first-class polymorphism.

Daan Leijen HMF: simple type inference for first-class polymorphism. 283-294 2008 ICFP http://doi.acm.org/10.1145/1411204.1411245 conf/icfp/2008 db/conf/icfp/icfp2008.html#Leijen08