📖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

• 📝 CPS is better suited for later compilation stages
• 📝 Compiling with continuations resources
• 📖 Compiling without continuations
• 📖 Compiling with continuations, continued
• 📝 CPS is single assignment (SSA)
• 📝 CPS is a subset of lambda-calculus
• 📝 § Continuation