- Continuation is reification of program control state
- Continuation is goto
- Compiling with continuations—even if continuations are not exposed to the end programmers, they can still be useful as an implementation technique
- CPS is a subset of lambda-calculus
- CPS is single assignment (SSA)
- Appel1992: extremely good book on how to compile functional programming languages with continuations.