The following publications are possibly variants of this publication:
- A functional correspondence between evaluators and abstract machinesMads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard. ppdp 2003: 8-19 [doi]
- 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 syntactic correspondence between context-sensitive calculi and abstract machinesMalgorzata Biernacka, Olivier Danvy. TCS, 375(1-3):76-108, 2007. [doi]