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. Floyd-Hoare Logic
  13. 9. Verification Conditions
  14. 10. Small Step Semantics
  15. 11. Type Checking IMP
  16. 12. Simply Typed Lambda Calculus

Principles of Programming Languages - W25