Comparing control constructs by double-barrelled CPS transforms

Citations of this article
Mendeley users who have this article in their library.


We investigate continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin's J-operator. In each case there is an associated simple typing. For those constructs that allow upward continuations, the typing is classical, for the others it remains intuitionistic, giving a clean distinction independent of syntactic details. © 2001 Published by Elsevier Science B.V.




Thielicke, H. (2001). Comparing control constructs by double-barrelled CPS transforms. In Electronic Notes in Theoretical Computer Science (Vol. 45, pp. 447–461).

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free