@INPROCEEDINGS{Leijen:hmf,
  author   = {Daan Leijen},
  title    = {{HMF}: Simple Type Inference for First-Class Polymorphism},
  booktitle= {{13th ACM symp. of the International Conference on Functional Programming (ICFP'08)}},
  year     = 2008,
  month    = Sep,
  location = {Victoria BC, Canada},
  note     = {Extended version available as Microsoft Research technical report {MSR-TR-2007-118}, Sep 2007}
}