| 1/27 |
Assignment 0 - Installations |
Programming in Dafny |
Specifications in Dafny |
| 2/03 |
|
Hoare Logic |
Hoare Logic (cont) |
| 2/10 |
Assignment 1 - Dafny Verification |
SNOW DAY (Extended OH) |
From OCaml to Haskell |
| 2/17 |
|
Higher Order |
Trees and Folds |
| 2/24 |
Assignment 2 - Haskell Basics |
Typeclasses |
Parsers |
| 3/03 |
|
Parsing/Printing: XML and AST |
QuickCheck |
| 3/10 |
|
Midterm Review (Files / ELMS) |
Midterm 1 |
| 3/17 |
|
Spring Break |
Spring Break |
| 3/24 |
Assignment 3 - MiniDafny Printing and Parsing |
Monads |
State Monad |
| 3/31 |
|
Monad Transformers |
Guest Lecture: AWS’s Aaron Eline |
| 4/07 |
Assignment 4 - MiniDafny Interpreter |
Monad Transformers Demo |
Dynamic Programming |
| 4/14 |
|
Verification Conditions |
Z3 |
| 4/21 |
Assignment 5 - Verification Conditions |
GADTs |
Midterm Review |
| 4/28 |
|
Midterm 2 |
Agda Basics |
| 5/05 |
Final Project |
Lenses |
Build a Game - Snake! |
| 5/12 |
Final Project Late Deadline |
|
|