Module 35309 (2021)
Module description - Advanced Functional Programming
The Module Description is a strict subset of the Syllabus Page.
|Module Title||Advanced Functional Programming|
|School||School of Computer Science|
|Member of Staff||Martin Escardo Eric Finster|
|Semester||Semester 2 - 20 credits|
This module exposes students to state of the art functional programming languages and their mathematical foundations in the lambda calculus and type theory. 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: