- authors
- Flanagan, Cormac and Sabry, Amr and Duba, Bruce F. and Felleisen, Matthias
- year
- 1993
- url
- https://doi.org/10.1145/173262.155113
- CEK machine
- C: a control string
- E: environment (var ā value)
- K: current continuation (ārest of the computationā)
- source-to-CPS introduces a lot of āadministrativeā Ī»-expressions, most of which are then optimized away
- ārealistic CPS compilers āmarkā the continuation closure as a special closureā
- defines A-normal form (ANF)