Questions tagged [continuations]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
2answers
186 views

How do continuations represent negations (under the Curry–Howard correspondence)?

Under the Curry–Howard correspondence, types can be thought of as propositions, and values inhabiting a type can be thought of as proofs that the corresponding proposition is true. (E.g., the ...
0
votes
2answers
361 views

reset and shift only one level deep (delimited continuations)? [closed]

I'm looking at the following tutorial on delimited (or composable) continuations: http://community.schemewiki.org/?composable-continuations-tutorial The author(s) propose the following "rewrite ...
5
votes
1answer
157 views

What is the formal definitions of the reduction related to the “call/cc” (call with the current continuation) operator?

In lambda calculus or in combinatory logic we formally define reduction/expansion rules for terms (and in their typed variants reductions must preserve the type). Then we can talk about properties of ...
0
votes
1answer
79 views

Seeking for a game for modelling a problem using game thoery [closed]

I have a problem which I want to formulate it as a game, using game theory. In this problem there is several agents, we can consider the agents as the employees of different offices, these agents have ...
11
votes
0answers
136 views

Are the types that show monads are more powerful than continuations revealing something of fundamental importance?

In 1992 in the paper Imperative Functional Programming, Simon Peyton Jones and Philip Wadler write: So monads are more powerful than continuations, but only because of the types! It is not clear ...
13
votes
2answers
562 views

Continuation passing transform of binary functions

Recall the continuation passing transform (CPS transform) which takes $A$ to $\beta A \mathrel{{:}{=}} R^{R^A}$ (where $R$ is fixed) and $f : A \to B$ to $\beta f : \beta A \to \beta B$ defined by $$\...
3
votes
2answers
244 views

Reversing the CPS transformation?

A quick Google search didn't turn up anything obvious, so I'm asking here. Converting direct style programs to continuation-passing style is a well-studied program transformation. However, I'm ...