Session 6

PCF compiler & virtual machine, basics of lambda-mu calculus

• Parigot, "λμ-Calculus: An algorithmic interpretation of classical natural deduction"
• Ariola, Herbelin, "Minimal classical logic and control operators"
• Ong, Stewart, "A Curry-Howard foundation for functional computation with control"

Homework

None :(