BibTeX record conf/types/DanvyKP14

download as .bib file

@inproceedings{DBLP:conf/types/DanvyKP14,
  author    = {Olivier Danvy and
               Chantal Keller and
               Matthias Puech},
  editor    = {Hugo Herbelin and
               Pierre Letouzey and
               Matthieu Sozeau},
  title     = {Typeful Normalization by Evaluation},
  booktitle = {20th International Conference on Types for Proofs and Programs, {TYPES}
               2014, May 12-15, 2014, Paris, France},
  series    = {LIPIcs},
  volume    = {39},
  pages     = {72--88},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2014},
  url       = {https://doi.org/10.4230/LIPIcs.TYPES.2014.72},
  doi       = {10.4230/LIPIcs.TYPES.2014.72},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/types/DanvyKP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics