📖The essence of compiling with continuations

December 8, 2021

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)

Backlinks