| 09/01 |
Assignment 0 - Installations |
Introduction |
Verification in Dafny |
| 09/08 |
|
Hoare Logic |
Hoare Logic (cont.) |
| 09/15 |
Assignment 1 - Dafny + Hoare Logic |
From OCaml to Haskell |
Higher Order |
| 09/22 |
|
Datatypes |
Typeclasses |
| 09/29 |
Assignment 2 - Haskell |
Parsers |
More Parsing + HW Overview |
| 10/06 |
|
Midterm Review (Files / ELM) |
Midterm 1 |
| 10/13 |
Assignment 3 - Parsing and Printing |
Fall Break! |
Monads! |
| 10/20 |
|
State |
Transformers, Demo |
| 10/27 |
Assignment 4 - Evaluation |
Quiz 2 + Dynamic Programming |
Verification Conditions |
| 11/03 |
|
GADTs |
Agda! |
| 11/10 |
Assignment 5 - Verification Conditions |
Lean Overview |
Final Project + Symbolic Execution |
| 11/17 |
|
Concurrency |
Midterm Review |
| 11/24 |
|
Thanksgiving |
Thanksgiving! |
| 12/01 |
|
Midterm 2 |
|
| 12/08 |
Final Project |
|
|