The following publications are possibly variants of this publication:
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effectsMads Sig Ager, Olivier Danvy, Jan Midtgaard. TCS, 342(1):149-172, 2005. [doi]
- A functional correspondence between call-by-need evaluators and lazy abstract machinesMads Sig Ager, Olivier Danvy, Jan Midtgaard. ipl, 90(5):223-232, 2004. [doi]
- Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract MachinesMaciej Buszka, Dariusz Biernacki. LOPSTR 2022: 38-59 [doi]
- A syntactic correspondence between context-sensitive calculi and abstract machinesMalgorzata Biernacka, Olivier Danvy. TCS, 375(1-3):76-108, 2007. [doi]