Lectures
| Week | Day | Topic | Resources |
|---|---|---|---|
| 1 | Tuesday | Welcome + Judgements | Slides, Notes |
| Wednesday | Induction | Notes | |
| 2 | Tuesday | Statics | Notes |
| Wednesday | Inversion & Structural Rules | Notes | |
| 3 | Tuesday | Dynamics | Notes |
| Wednesday | Type safety | Notes | |
| 4 | Tuesday | Sums and products | Notes |
| Wednesday | Functions | Notes | |
| 5 | Tuesday | Recursion | Notes |
| Wednesday | Recursion II | Notes | |
| 6 | Consolidation Week | ||
| 7 | Tuesday | CBN, CBV, effects | Notes |
| Wednesday | Ill-Typed Programs Don’t Evaluate* | Paper | |
| 8 | Tuesday | Ill-Typed Programs Don’t Evaluate* | Paper |
| Wednesday | TBD |
The end of the course has been re-structured so that you can consolidate what you have learnt in the exciting setting of real research papers, presented by members of the Bristol Programming Languages Research Group
*Guest Speaker Charlie Walpole
Previous lecture notes: Modernised Algol I, Modernised Algol II, and Canonicity. Reading the Algol notes and doing the Algol Problem Sheet will be excellent exam prep, but you will not be examined on Algol.