NDAA08006U Semantics and Types
(SaT)

The aim of the course is to introduce students to the
fundamental concepts and tools of modern programming-language
theory. This includes the relevant descriptive approaches (formal
semantics and type systems), their instantiations and applications
to concrete situations, and the mathematical principles for
reasoning about them.

The topics covered in the course provide a comprehensive formal
basis for developing reliable programs and programming languages,
but also equip students with a standardized terminology and
conceptual framework for communicating effectively with other
developers and researchers, including in follow-up coursework and
projects within the PLS track of the Computer Science programme.