| Date | Cliff | ||
|---|---|---|---|
| 31 May, 2026 | Notes | Notes: Link | Does not include Security Notes |
| 1 Jun, 2026 | Intro | Slides: Link Notes: Link |
|
| Semantics | Notes: Link | ||
| Ocaml | Slides: Link Notes: Link |
Also see the walkthrough which was made when we had to cancel the first intro week due to snow. | |
| 5 Jun, 2026 | Higher Order Functions | Slides: Link Notes: Link |
Also see a map/fold visualizer. Also, may happen on Monday, not sure if we will get to this today |
| 10 Jun, 2026 | Regular Expressions | Slides: Link Notes: Link |
|
| 12 Jun, 2026 | FSM | Slides: Link Notes: Link |
|
| 15 Jun, 2026 | NFA to DFA | Slides: Link | |
| 17 Jun, 2026 | Context Free Grammars | Slides: Link Notes: Link |
|
| 24 Jun, 2026 | Operational Semantics | Slides: Link Notes: Link |
|
| 26 Jun, 2026 | Interpreters | Notes: Link | The notes are a bit outdated but good enough. They will be updated in the next few days. You can also look at lecture example |
| 1 Jul, 2026 | Lambda Calc | Slides: Link Notes: Link |
|
| 6 Jul, 2026 | Rust | Slides: Link Notes: Link |
|
| Type Systems | Slides: Link Notes: Link |
Will do this in between parts of Rust since the novel thing about Rust is its type system | |
| Garbage Collection | Slides: Link Notes: Link |
Not needed at this time but good to look over since Rust wants to be Memory Safe. It does so by making rules about garbage collection | |
| 8 Jul, 2026 | More Rust | Slides: Link Notes: Rust book |
Will probably not get to all of this, but posting all things now due to impromptu moving to asynchronous. By today, just chapters 3 and 4. Also got to parts of 5 and 6 |
| 10 Jul, 2026 | Finishing Up Rust | Recording Posted on Panopto. Rust book chapters 8,10,15 | |
| 15 Jul, 2026 | Type Systems | Recording Posted on Panopto. See above for notes | |
| 17 Jul, 2026 | Security | Slides: Link | |