Principles of Programming Languages
Assignments
Lectures
1.
Hello!
2.
Expressions & Types
3.
Datatypes & Proofs
4.
Induction
5.
Stack Machines
6.
Evidence
7.
Big Step Semantics
8.
Floyd-Hoare Logic
9.
Verification Conditions
10.
Small Step Semantics
11.
Type Checking IMP
12.
Simply Typed Lambda Calculus
Light (default)
Rust
Coal
Navy
Ayu
Principles of Programming Languages - W25
Assignments
Assignment X - Github/ID
due 1/17
Assignment 0 - Induction
due 1/22