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

Backlinks