@TECHREPORT{Leijen:hmf,
  author   = {Daan Leijen},
  title    = {{HMF}: Simple Type Inference for First-Class Polymorphism},
  institution = {Microsoft Research},
  year = 2007,
  month = Sep,
  number = {{MSR-TR-2007-118}}
}