Advanced Topics in Programming Languages 2025/26

Advanced Topics in Programming Languages is a fourth year optional unit at the University of Bristol. The unit provides a grounding in the field of Programming Languages (PL), along with an insight into what it is like to be a PL researcher.

This year the unit will be based on Robert Harper’s book Practical Foundations for Programming Languages (Cambridge University Press, 2nd edition, 2016). An electronic copy of the book may be obtained through the University of Bristol library.

For more information on PL research at Bristol please visit the Programming Languages group website.

Schedule

What	When	Where
Lecture	Tues 11am	Queen’s Building 1.69
Lecture	Wed 9am	ADA LOVELACE BLDG SM3
Problem Class	Thurs 11am	Queen’s Building 1.69

Staff

Lecturers

Meng Wang	Sam Frohlich

TAs

Samson Main	Tom Divers