@TECHREPORT{Leijen:hml,
  author   = {Daan Leijen},
  title    = {Flexible types: robust type inference for first-class polymorphism},
  institution = {Microsoft Research},
  year = 2008,
  month = Mar,
  number = {{MSR-TR-2008-55}}
}