Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines

von Buszka, Maciej
Veröffentlicht in LOPSTR (31. : 2021 : Online; Tallinn) Logic-based program synthesis and transformation (2022)