| 1/26 |
Assignment 0 - Installations |
Snow Day! |
More Snow |
| 2/04 |
|
Introduction in Dafny, Specifications in Dafny |
Hoare Logic |
| 2/09 |
Assignment 1 - Dafny Verification |
Hoare Logic (cont) |
From OCaml to Haskell |
| 2/16 |
|
Higher Order |
Trees and Folds |
| 2/23 |
Assignment 2 - Haskell Basics |
Typeclasses |
Parsers |
| 3/02 |
|
Midterm Review (Files / ELM) |
Midterm 1 |
| 3/09 |
|
Parsing/Printing: HW Demo + QuickCheck |
Monads! |
| 3/16 |
|
Spring Break |
Spring Break |
| 3/23 |
Assignment 3 - MiniDafny Printing and Parsing |
State Monad |
Demo, Transformers |
| 3/30 |
|
Dynamic Programming |
GADTs |
| 4/06 |
Assignment 4 - MiniDafny Interpreter |
Agda! |
Type Checking and Type Inference |
| 4/13 |
|
Verification Conditions |
Z3 and Symbolic Execution |
| 4/20 |
Assignment 5 - Verification Conditions |
Concurrency |
Midterm Review |
| 4/27 |
|
Midterm 2 |
Lenses |
| 5/04 |
Final Project |
Game Programming – Tic-Tac-Toe, Snake |
Extended Final Project OH |
| 5/11 |
Final Project Late Deadline |
|
|