BibTeX record conf/pepm/BerezunJ17

download as .bib file

@inproceedings{DBLP:conf/pepm/BerezunJ17,
  author    = {Daniil Berezun and
               Neil D. Jones},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Compiling untyped lambda calculus to lower-level code by game semantics
               and partial evaluation (invited paper)},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {1--11},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3020004},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/BerezunJ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics