Daniil Berezun, Neil D. Jones. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). In Ulrik Pagh Schultz, Jeremy Yallop, editors, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. pages 1-11, ACM, 2017. [doi]
@inproceedings{BerezunJ17,
title = {Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)},
author = {Daniil Berezun and Neil D. Jones},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3020004},
researchr = {https://researchr.org/publication/BerezunJ17},
cites = {0},
citedby = {0},
pages = {1-11},
booktitle = {Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017},
editor = {Ulrik Pagh Schultz and Jeremy Yallop},
publisher = {ACM},
isbn = {978-1-4503-4721-1},
}