📖The Essence of Compiling With Continuations

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

Want to receive my 🖋 posts as I publish them?