📝CPS is a subset of lambda-calculus

source

Appel₁₉₉₂

CPS is a subset of λ-calculus. The only restriction is that there is no returns and all functions calls are tail calls.

Backlinks

• 📖 Compiling with continuations
• 📝 Compiling with continuations
• 📝 § Continuation