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). https://doi.org/10.1016/S1571-0661(04)80974-5