1. Principles of Programming Languages
  2. Assignments
  4. Lectures
  5. 1. Hello!
  6. 2. Expressions & Types
  7. 3. Datatypes & Proofs
  8. 4. Induction
  9. 5. Stack Machines
  10. 6. Evidence
  11. 7. Big Step Semantics
  12. 8. Small Step Semantics
  13. 9. Axiomatic Semantics
  14. 10. Simply Typed Lambda Calculus
  15. 11. Automated Verification

Principles of Programming Languages - W25