Functional languages represent the leading edge of programming language design, and the primary setting in which new programming concepts are introduced and studied. This module builds upon the introductory module G51PGP Programming Paradigms, by focussing on a number of more advanced topics in functional programming, including aspects of recent and current research.
The precise topics covered will vary from year
to year, but will include topics such as programming with effects,
reasoning about programs, and improving program efficiency.
Lectures will mostly be given at the whiteboard, and students are expected to take their own notes. Some supporting material is available here: