@INPROCEEDINGS{AntoyJost13TFP,
  author = {S. Antoy and A. Jost},
  title = {A Target Implementation for High-Performance Functional Programs},
  booktitle = {Presentation at the 14th International Symposium Trends in Functional Programming (TFP 2013)},
  address = {Provo, Utah},
  year = {2013},
  note = {Available at \url{http://web.cecs.pdx.edu/~antoy/homepage/publications/tfp13/paper.pdf}}
}