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. Floyd-Hoare Logic
  14. 10. Verification Conditions
  15. 11. Simply Typed Lambda Calculus
  16. 12. Type Soundness
  17. 13. Automated Verification

Principles of Programming Languages - W25