📖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

• 📝 Compiling with continuations resources
• 📖 Compiling without continuations
• 📖 Compiling with continuations, continued