| # | Episode Title | Description | People | Date | |
|---|---|---|---|---|---|
| 1 | What are types for? | Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string. | Jeremy Gibbons | 26 Jun 2017 | |
| 2 | Parametric Polymorphism and models of storage | In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of storage. | Uday Reddy | 26 Jun 2017 |