continuation passing style

In functional programming, continuation-passing style is a style of programming in which control is passed explicitly in the form of a continuation.
See more at Wikipedia.org...

(CPS) A semantically clean language with continuations used as an intermediate language for Scheme and the SML/NJ compiler.
["Rabbit: A Compiler for Scheme", G.L. Steele, AI-TR-474, MIT (May 1978)].
["Compiling With Continuations", A. Appel, Cambridge U Press 1992].

<programming> (CPS) A style of programming in which every user function f takes an extra argument c known as a continuation. Whenever f would normally return a result r to its caller, it instead returns the result of applying the continuation to r. The continuation thus represents the whole of the rest of the computation. Some examples:
normal (direct st