Questions tagged [cps-transforms]
The cps-transforms tag has no usage guidance.
2
questions
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 ...
