result is obtained by passing the identity function as a continuation to the CPS expression, as in the above example. Classical logic itself relates to manipulating the continuation of programs directly, as in Scheme's call-with-current-continuation control operator, an observation due to Tim Griffin (using the closely related C control operator). See also Tail recursion through trampolining Notes References Continuation Passing C (CPC) - programming language for writing concurrent systems, designed and developed by Juliusz Chroboczek and Gabriel Kerneis. github repository The construction of a CPS-based compiler for ML is described in: Chicken Scheme compiler, a Scheme to C compiler that uses continuation-passing style for translating Scheme procedures into C functions while using the C-stack as the nursery for the generational garbage collector Direct link: "Section 3.4. Continuation Passing Style". Continuations Functional programming Implementation of functional programming languages Articles with example Scheme (programming language) code Articles with example Java code