cs-4400-sp26

Lecture 19: Continuations, Continued

Outline

• First-class continuations
  • Example programs with letcc/throw
  • Typing stacks
  • Typing continuations
• Proofs with negation
  • On paper
  • In Plait

Resources

• Prof. Holtzen’s notes on Programming with Continuations
• Prof. Pfenning (CMU)’s notes on the (Typed) K Machine
• Prof. Licata (CMU -> Wesleyan)’s notes on Classical Logic and Computation
• SEP on Constructive Mathematics
• SEP on Intuitionism