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

Cached

Download Links

by Mads Sig Ager , Olivier Danvy , Jan Midtgaard
Venue:Theoretical Computer Science
Citations:38 - 20 self

Document Versions

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects –Mads Sig Ager, Olivier Danvy, Jan Midtgaard — 2005 — Theoretical Computer Science
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects –Mads Sig Ager, Olivier Danvy, Jan Midtgaard — 2003