If you aren't interested in supporting call/cc or other control-transfer constructs like exceptions it might be easier to just use ANF. See Kennedy's "Compilin

If you aren't interested in supporting call/cc or other control-transfer constructs like exceptions it might be easier to just use ANF. See Kennedy's "Compiling with Continuations, Continued" for another perspective on the ANF/CPS choice: http://research.microsoft.com/en-us/um/people/akenn/sml/CompilingWithContinuationsContinued.pdf http://research.microsoft.com/en-us/um/people/akenn/sml/Comp...