@inproceedings{45ff1437114c4258a33af57c03213c87,
title = "Compiling Untyped Lambda Calculus to lower-level code by game semantics and partial evaluation",
keywords = "Normalisation, traversal, game, untyped lambda calculus, semantics, partial evaluation, program transformation",
author = "Daniil Berezun and Neil Jones",
year = "2017",
month = jan,
day = "2",
doi = "10.1145/3018882.3020004",
language = "English",
pages = "1--11",
booktitle = "Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation",
publisher = "Association for Computing Machinery",
note = "2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ; Conference date: 16-01-2017 Through 17-01-2017",
}