Functional Programming · ITI0212 · Spring 2026
| Week | Lecture Date | Topic | Lab | Video |
|---|---|---|---|---|
| 01 | 04/02/2026 | Course Introduction | lab01 | — |
| 02 | 11/02/2026 | Inductive Types and Recursive Functions | lab02 | old |
| 03 | 18/02/2026 | Parameterised Types and Polymorphic Functions | lab03 | old |
| 04 | 25/02/2026 | Function Literals and Higher-Order Functions | lab04 | old |
| 05 | 04/03/2026 | Type Classes I | lab05 | old |
| 06 | 11/03/2026 | Type Classes II: Functors, Applicatives, Monads | lab06 | old |
| 07 | 18/03/2026 | More Monads | lab07 | old |
| 08 | 25/03/2026 | Indexed Types and Dependent Functions | lab08 | old |
| 09 | 01/04/2026 | — | ||
| 10 | 08/04/2026 | Dependent types in action | lab09 | old |
| 11 | 15/04/2026 | Propositions as types I | lab10 | old |
| 12 | 22/04/2026 | First-order logic | lab11 | old |
| 13 | 29/04/2026 | Inductive equality | lab12 | old |
| 14 | 06/05/2026 | Proving properties of programs | lab13 | old |
| 15 | 12/05/2026 | Review | — | old |