Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. - Maciej Buszka; Dariusz Biernacki (LOPSTR, 2021)