2 search results - page 1 / 1 » Adjunction Models For Call-By-Push-Value With Stacks |
86
Voted
ENTCS
2002
15 years 28 days 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...
89
Voted
ENTCS
2006
15 years 1 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...