2 search results - page 1 / 1 » Adjunction Models For Call-By-Push-Value With Stacks |
71
Voted
ENTCS
2002
14 years 10 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
ENTCS
2006
14 years 10 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...