TY  - RPRT
TI  - Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines
AU  - Maciej Buszka
AU  - Dariusz Biernacki
PY  - 2021
UR  - https://arxiv.org/abs/2108.07132
ID  - 2108.07132
ER  -