Skip to main content

Questions tagged [cps-transforms]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
12 votes
2 answers
646 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 $$\...
Andrej Bauer's user avatar
  • 29.2k
4 votes
2 answers
370 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 ...
Neel Krishnaswami's user avatar