School of Computer Science

Module 26942 (2018)

Module description - Advanced Topics in Functional Programming Extended

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

Module Title Advanced Topics in Functional Programming Extended
School School of Computer Science
Module Code 06-26942
Level 4/M
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 mathemantics

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

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