School of Computer Science

Module 06-26943 (2014)

Advanced Topics in Functional Programming

Level 3/H

Neelakantan Krishnaswami Dan Ghica Semester 2 10 credits
Co-ordinator: Dan Ghica
Reviewer: Martin Escardo

The Module Description is a strict subset of this Syllabus Page.


This module exposes students to state of the art functional programming languages and presents unusual or unexpected applications of functional programming, such as system-level programming. Students can expect to develop advanced functional programming skills.


The aims of this module are to:

  • expose students to the state of the art in functional programming languages
  • present unusual or unexpected applications of functional programming such as system-level programming
  • reveal the deep connection between functional programming and proof systems
  • allow students to develop advanced functional programming skills

Learning Outcomes

On successful completion of this module, the student should be able to:

  1. employ advanced functional programming techniques in a practical setting
  2. demonstrate a practical understanding of the mathematical principles of functional programming
  3. demonstrate awareness of state-of-the-art developments in functional programming by selecting appropriate tools, techniques and languages for particular tasks




Teaching methods

Large-Group Lectures

Contact Hours:



Sessional: 2 hr Examination (50%) Continuous Assessment (50%)

Supplementary (where allowed): 2 hr Examination (100%)

Detailed Syllabus

Not applicable

Programmes containing this module