šŸ“–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