Lectures
| Week | Day | Topic | Resources |
|---|---|---|---|
| 1 | Tuesday | Welcome + Judgements | Slides, Notes, Pt1 |
| Wednesday | Induction | Notes, Pt2, BP, Proofs Note, Takeaways | |
| 2 | Tuesday | Statics | Notes, Pt1 |
| Wednesday | Inversion & Structural Rules | Notes, Pt2, BP, Takeaways | |
| 3 | Tuesday | Dynamics | Notes, Pt1 |
| Wednesday | Type safety | Notes, Pt2, BP, Takeaways | |
| 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 | Rusty Type Systems** |
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
**Guest Speaker Tom Divers
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.