[<<][compsci][>>][..]
Mon Jan 25 08:22:17 CET 2010

Representing control: a study of the CPS transformation.

By Danvy and Filinsky[1].  This seems to be an important work to
understand where ANF and `shift' and `reset' come from.

Main property of CPS term = independence of evaluation order.  I.e. it
is a sequential program.

[1] http://www.cs.tufts.edu/~nr/cs257/archive/olivier-danvy/danvy92representing.ps.gz



[Reply][About]
[<<][compsci][>>][..]