| Date | Cliff | Dr. Mamat | ||||
|---|---|---|---|---|---|---|
| 28 Jan, 2025 | Intro | Notes: Link | Intro | Slides: Intro | ||
| Ocaml | Slides: Link Notes: Link |
OCaml Basics | Slides: OCaml Basics | |||
| Notes | Notes: Notes | |||||
| 30 Jan, 2025 | OCaml Lists | Slides: OCaml Lists | ||||
| 4 Feb, 2025 | Lets, Tuples, and Records | Slides: Lets, Tuples, and Records | ||||
| 6 Feb, 2025 | Functions | Slides: Link Notes: Link |
More | Higher Order Functions | Slides: Higher Order Functions | |
| 11 Feb, 2025 | Map and Fold | Slides: Map and Fold | ||||
| Notes | Notes: Notes | |||||
| Data Types | Slides: Data Types | |||||
| Notes | Notes: Notes | |||||
| 13 Feb, 2025 | Imperative OCaml | Slides: Link | Tail Recursion | Slides: Tail Recursion | ||
| Notes | Notes: Notes | |||||
| Closures | Slides: Closures | |||||
| Notes | Notes: Notes | |||||
| 18 Feb, 2025 | Property Based Testing | Slides: Link Notes: Link |
Imperative OCaml | Slides: Imperative OCaml | ||
| Jose Calderon's PBT notes | Notes: Link | Jose Calderon | Notes | Notes: Notes | ||
| Property-Based Random Testing | Slides: Property-Based Random Testing | |||||
| Notes | Notes: Notes | |||||
| 20 Feb, 2025 | Regular Expressions | Slides: Link Notes: Link |
Regular Expressions | Slides: Regular Expressions | ||
| 25 Feb, 2025 | Finite State Machines | Slides: Link Notes: Link |
Finite Automata | Slides: Finite Automata | ||
| 27 Feb, 2025 | Finite Automata: NFAs and DFAs | Slides: Finite Automata: NFAs and DFAs | ||||
| Notes | Notes: Notes | |||||
| 4 Mar, 2025 | Reducing NFA to DFA | Slides: Reducing NFA to DFA | ||||