@INPROCEEDINGS{Leijen:mlftof,
  author    = {Leijen, Daan},
  title     = {A Type Directed Translation of {MLF} to {System~F}},
  booktitle = {The International Conference on Functional Programming ({ICFP}'07)},
  location  = {{F}reiburg, {G}ermany},
  publisher = {ACM Press},
  month     = Oct,
  year      = 2007
}