| Date | Lecture |
|---|---|
| 06/04 | Intro |
| OCaml Basics | |
| Notes | |
| 06/05 | Lists and Pattern matching |
| 06/06 | Lists and Pattern matching |
| 06/09 | Lets and Tuples Higher Order Functions Map & Fold Notes |
| 06/11 | Tail Recursion Data Types Notes |
| 06/12 | Closures Imperative OCaml Notes |
| 06/16 | Regular Expressions Class Example |
| 06/18 | Finite Automata |
| 06/20 | DFA & NFA Notes |
| 06/23 | More DFA & NFA |
| 06/25 | Context Free Grammars |
| 06/27 | Parsing Example Code |
| 06/30 | Parsing cont. Example Code |
07/02 | Operational Semantics | 07/03 | Midterm | 07/04 | Independence Day Holiday | 07/07 | Type Checking | 07/09 | Subtyping Type Inference |
07/11 | Lambda Calculus Basics | 07/14 | Lambda Calculus: Church Encoding | 07/16 | Rust Intro Rust Ownership |
07/18 | Rust Collections | 07/21 | Structs and Enums | Memory Management | 07/23 | Software Security |