1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 unknown
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular "call with current continuation" and "throw". We characterize this involvement as a control effect and we present a selective CPS transformation that makes functions and expressions continuation-passing if they have a control effect, and that leaves the rest of the program in direct style. We formalize this selective CPS transformation with an operational semantics and a simulation theorem à la Plotkin.
Electronic Notes in Theoretical Computer Science, 2001, Vol 45, Issue 18, p. 311-331