@INPROCEEDINGS{LeijenLoeh:qualifiedmlf,
  author    = {Leijen, Daan and L\"oh, Andres},
  title     = {Qualified types for MLF},
  booktitle = {The International Conference on Functional Programming (ICFP'05)},
  location  = {{T}allin, {E}stonia},
  publisher = {ACM Press},
  month     = sep,
  year      = 2005
}