Based on
-
Daniil Berezun and Neil D. Jones. 2016. Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation. META 2016 Fifth International Valentin Turchin Workshop on Metacomputation, 11–23. PDF
-
Daniil Berezun and Neil D. Jones. 2017. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). In Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2017). ACM, New York, NY, USA, 1-11. DOI: https://doi.org/10.1145/3018882.3020004
and