School of Computer Science

Module 26943 (2019)

Module description - Advanced Topics in Functional Programming

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

Module Title Advanced Topics in Functional Programming
School School of Computer Science
Module Code 06-26943
Level 3/H
Member of Staff Dan Ghica
Semester Semester 2 - 10 credits

Large-Group Lectures

Contact Hours:



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 and awareness of experimental programming languages.


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

  1. be able to formally prove the correctness of complex programs
  2. understand advanced type systems (e.g. dependent or linear)
  3. be aware of advanced idioms in functional programming
  4. form connections with logic and the foundations of mathematics

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

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