Computer Laboratory

Course pages 2014–15

Advanced Functional Programming

Tentative lecture schedule

Thursday 15 January 2015
Introduction + Lambda Calculus part 1
Jeremy Yallop
Monday 19 January 2015
Lambda Calculus part 2
Jeremy Yallop
Thursday 22 January 2015
Type inference
Jeremy Yallop
Monday 26 January 2015
Curry-Howard and duality
Jeremy Yallop
Thursday 29 January 2015
Abstraction and parametricity part 1
Leo White
Monday 2 February 2015
Abstraction and parametricity part 2
Leo White
Thursday 5 February 2015
Abstraction and parametricity part 3
Leo White
Monday 9 February 2015
Generalized algebraic data types (GADTs)
Jeremy Yallop
Thursday 12 February 2015
Rows
Leo White
Monday 16 February 2015
Monads etc.
Jeremy Yallop
Thursday 19 February 2015
Monads etc. (continued)
Jeremy Yallop
Monday 23 February 2015
Domain-specific languages
Jeremy Yallop
Thursday 26 February 2015
Domain-specific languages (continued)
Jeremy Yallop
Monday 2 March 2015
Generic programming
Jeremy Yallop
Thursday 5 March 2015
Staging
Jeremy Yallop
Monday 9 March 2015
Staging (continued)
Jeremy Yallop