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