@InProceedings{MM00,
  author = {Jean-Yves Marion and Jean-Yves Moyen},
  title = {Efficient {F}irst {O}rder {F}unctional {P}rogram {I}nterpreter 
           with {T}ime {B}ound {C}ertifications},
  booktitle = {LPAR},
  series = lnai,
  volume = 1955,
  editor = {Michel Parigot and Andrei Voronkov},
  month = nov,
  publisher = {Springer},
  pages = {25--42},
  year = 2000
}