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

Published in: Theor. Comput. Sci. (2005)

Keyphrases