TPLS: Topics in Programming Languages and Semantics
Welcome to Topics in Programming Languages and Semantics (TPLS)!
TPLS is a new UG4/MInf/MSc Semester 2 course in the fundamentals of programming languages and semantics of computation. If you enjoy the more theoretical parts of the degree, or are curious about how we study and prove properties about programs, this may be the course for you. We give you some freedom to explore the material and specialise in the topics that interest you.
This year's topics are:
Modelling Concurrent Systems (MCS), see here for past editions of the MCS materials:
https://homepages.inf.ed.ac.uk/rvangla/MCS/
Programming language foundations in Agda (PLFA), see here for a past editions of the PLFA material:
https://plfa.github.io/TSPL/2024/
Around weeks 4-5, you will have the option to specialise in one of the two strands, advanced MCS or advanced PLFA, giving you more time to to focus on the topics you are interested in and enjoy.