| Date | Dr. Mamat | Cliff | ||||
|---|---|---|---|---|---|---|
| 27 Jan, 2026 | Snow Day. No Class | Intro | Notes: Link | |||
| 29 Jan, 2026 | OCaml Basics | Notes: Link | We missed two lectures, so we would like to move more quickly on Tuesday. Please read from 2.1 to 2.13 before Tuesday’s class. | Ocaml | Notes: Link | Also see the walkthrough |
| 3 Feb, 2026 | Intro | Slides: Intro | Higher Order Functions | Notes: Link | See visualizer here | |
| Notes (Read 2.1 to 2.9) | Notes: Link | |||||
| OCaml Basics | Slides: OCaml Basics | |||||
| 5 Feb, 2026 | Lists and Pattern Matching | Slides: Lists and Pattern Matching | ||||
| Notes (Read 2.15 and 2.16) | Notes: Link | |||||
| 10 Feb, 2026 | Let Expressions, Tuples, Records | Slides: Let Expressions, Tuples, Records | ||||
| Notes (Read 2.18 and 2.23) | Notes: Link | |||||
| 12 Feb, 2026 | Map & Fold | Slides: Map & Fold | ||||
| Tail Recursion | Slides: Tail Recursion | |||||
| Notes (Read 2.18 and 2.23) | Notes: Link | |||||
| 17 Feb, 2026 | Data Types | Slides: Data Types | Imperative | Slides: Link | ||
| Closures | Slides: Closures | |||||
| Notes (Read 2.24 - 2.27) | Notes: Link | |||||
| 19 Feb, 2026 | Imperative OCaml | Slides: Imperative OCaml | Regex | Slides: Link Notes: Link |
||
| Notes | Notes: Link | PBT | Slides: Link Notes: Link |
|||
| 24 Feb, 2026 | Regular Expressions | Slides: Regular Expressions | ||||
| Notes | Notes: Link | |||||
| 26 Feb, 2026 | Finite Automata | Slides: Finite Automata | Finite State Machines | Slides: Link Notes: Link |
||
| Notes | Notes: Link | |||||
| 3 Mar, 2026 | DFAs & NFAs | Slides: DFAs & NFAs | ||||
| DFA & NFA Examples | Slides: DFA & NFA Examples | |||||
| Notes | Notes: Link | |||||
| 5 Mar, 2026 | Exam 1 | |||||
| 10 Mar, 2026 | Context Free Grammars | Slides: Context Free Grammars | CFGs | Slides: Link Notes: Link |
||
| Notes | Notes: Link | |||||
| 12 Mar, 2026 | Parsing | Slides: Parsing | Interpreters | Notes: Link | See Example on Gitlab | |
| Notes | Notes: Link | |||||