Another cool tutorial from Dan Friedman (also see the source code).
Transforming a function into CPS is used a step in deriving the bind and unit oeprations for a continuation monad.
Direct Style from Monadic Style and Back (and source), does the same kind of transformation for the state monad.
Familiarity with LC beta- and eta- reductions is required.
Posted to theory by Ehud Lamm on 12/9/02; 3:53:49 AM