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)

An Abstract Machine for Strong Call by Value

von Biernacka, Matgorzata
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)