Title: Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
Authors: Maciej Buszka, Dariusz Biernacki
Journal: Logic-Based Program Synthesis and Transformation(tom: LOPSTR 2021, strony: 38--59), Wydawca:Springer
Publication type: conference
DOI: 10.1007/978-3-030-98869-2_3