๐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