# ๐Compiling with continuations

- authors
- Appel, Andrew
- year
- 1992

CPS shares many properties with SSA, because each binding is assigned exactly once.

CPS is a subset of ฮป-calculus โ CPS is a subset of lambda-calculus

CPS โ Lambda lifting โ lift all functions into a single top-level FIX