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]
No references recorded for this publication.
No citations of this publication recorded.