A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Mads Sig Ager, Olivier Danvy, Jan Midtgaard. A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theoretical Computer Science, 342(1):149-172, 2005. [doi]

Abstract

Abstract is missing.