# Topic Dates Materials Comments
1 First day of class 01/02 slides (key), slides (pdf) Lambda, the Ultimate TA
2 Functional Programming in Coq 02/02, 03/02 Coq, notes  
3 Logic 03/02, 04/02, 08/02 Coq, notes Proposition as Types
4 Induction 09/02, 10/02, 11/02 Coq, notes  
5 BasicSyntax 11/02, 15/02, 16/02 Coq  
6 Interpreters 16/02, 17/02, 18/02, 01/03 Coq, slides (key), slides (pdf)  
7 Functional Programming in F* 01/03 slides(key), slides(pdf), fst Nik Swamy’s OPLSS lectures
8 Verifying Functional Programs in F*   fst  
9 Logic Programming   Coq  
10 Transition Systems   Coq, slides (key), slides (pdf)  
11 Operational Semantics   Coq, slides (key), slides (pdf)  
12 Lambda Calculus   Coq, slides (key), slides (pdf)  
13 Hoare Logic   Coq, Scribbles, slides (key), slides (pdf) Software Foundations: Vol 2 Programming Language Foundations: Hoare Logic, parts I and II
14 Programming with Effects in F*   fst