Theory of Programming Languages

The Theory of Programming Languagesis a Level 2 module. It is compulsory for all students of Swansea's BSc Computer Science and MEng Computing.

The notes for this course are contained in the manuscript

Data, syntax and semantics (pdf)

by J V Tucker and K Stephenson. 

The manuscript is some 800+ pages. This version was last updated March 2006.

We are interested in comments on and corrections of the manuscript.