To replay a given lecture, click on the 'Click here' link. To download the audio, click here.
| Lecture | Date | Video URL | Podcast URL | Topic | Comment |
| 1 | 21/9/09 | No capture available due to technical problems | |||
| 2 | 22/9/09 | No capture available due to technical problems | |||
| 3 | 25/9/09 | Video | Podcast | Functions | Audio/Video/Slides fine |
| 4 | 29/9/09 | Video | Podcast | The Rule of Leibniz | Audio/Video/Slides fine |
| 5 | 5/10/09 | Video | Podcast | Lists and Recursion | Audio/Video/Slides fine |
| 6 | 6/10/09 | Video | Podcast | Lists and Recursion 2 | Audio/Video/Slides fine |
| 7 | 12/10/09 | Video | Podcast | More fun with recursion | Audio/Video/Slides fine |
| 8 | 13/10/09 | Video | Podcast | Part IV Counting | Audio/Video/Slides fine |
| 9 | 19/10/09 | Video | Podcast | Map, filter, fold | Audio/Video/Slides fine |
| 10 | 20/10/09 | Video | Podcast | Part IX Composition | Audio/Video/Slides fine |
| 11 | 27/10/09 | Video | Podcast | Proofs | Video/Slides/Audio fine. |
| 12 | 2/11/09 | Video | Podcast | Algebraic Data Types | Video/Slides/Audio fine. |
| 13 | 3/11/09 | Video | Podcast | Expression Trees | Video/Slides/Audio fine. |
| 14 | 9/11/09 | Video | Podcast | Abstract and Algebraic Data Types | Video/Slides/Audio fine. |
| 15 | 10/11/09 | Video | Podcast | Abstract and Algebraic Data Types and Type Classes | Video/Slides/Audio fine. |
| 16 | 16/11/09 | Video | Podcast | Parsers | Video/Slides/Audio fine. |
| 17 | 17/11/09 | Video | Podcast | Parsers 2 | Video/Slides/Audio fine. |
| 18 | 23/11/09 | Video | Podcast | IO and Monads | Video/Slides/Audio fine. |
| 19 | 24/11/09 | Video | Podcast | IO and Monads | Video/Slides/Audio fine. |
| 20 | 30/11/09 | Video | Podcast | You and your research | Video/Slides/Audio fine. |
| 21 | 1/12/09 | Video | Podcast | Why is Haskell called Haskell? | Video/Slides/Audio fine. |