boespflug.bib

@inproceedings{boespflug_conversion_2010,
  address = {Madrid, Spain},
  title = {Conversion by evaluation},
  url = {papers/padl10.pdf},
  booktitle = {Proceedings of the Twelfth Internation Symposium on Pracical Aspects of Declarative Languages},
  author = {Mathieu Boespflug},
  year = {2010},
  note = {A preliminary version was presented at the {NbE'09} workshop.},
  keywords = {homepage}
}

@inproceedings{boespflug_self-interpreters_2009,
  address = {Los Angeles, California},
  title = {From self-interpreters to normalization by evaluation},
  url = {papers/nbe09b.pdf},
  booktitle = {Informal Proceedings of the 2009 Workshop on Normalization by Evaluation},
  author = {Mathieu Boespflug},
  month = aug,
  year = {2009},
  keywords = {homepage},
  pages = {29--34}
}

@incollection{boespflug_taichi:to_2007,
  title = {{TaiChi:} how to check your types with serenity},
  volume = {9},
  url = {http://www.haskell.org/sitewiki/images/5/5d/TMR-Issue9.pdf},
  booktitle = {The {Monad.Reader}},
  author = {Mathieu Boespflug},
  editor = {Wouter Swierstra},
  month = nov,
  year = {2007},
  keywords = {homepage},
  pages = {17--31}
}

This file was generated by bibtex2html 1.95.