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

by Mads Sig Ager, Olivier Danvy, Jan Midtgaard
Venue:Theoretical Computer Science