Tag: continuations

Found 7 results for 'continuations'.

---

1) lo.logic - How do continuations represent negations (under the Curry–Howard correspondence)?
2) pl.programming-languages - Reversing the CPS transformation?
3) lambda-calculus - What is the formal definitions of the reduction related to the "call/cc" (call with the current continuation) operator?
4) lo.logic - What's the logical counterpart to jumps with arguments on CPS terms?
5) javascript - What's the difference between a continuation and a callback?
6) haskell - Escaping from the IO monad inside the Continuation monad
7) scala - Scala continuation and exception handling

---