Course Details in 2025/26 Session

Module Title	LM Advanced Functional Programming (Extended)
School	Computer Science
Department	Computer Science
Module Code	06 35325
Module Lead	Martin Escardo
Level	Masters Level
Credits	20
Semester	Semester 2
Pre-requisites	LI Functional Programming - (06 34253)
Co-requisites
Restrictions	Please contact the School for information on pre-requisite learning
Contact Hours	Lecture-33 hours Practical Classes and workshops-22 hours Guided independent study-145 hours Total: 200 hours
Exclusions
Description	This module exposes students to state of the art functional programming languages and 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.
Learning Outcomes	By the end of the module students should be able to: be able to formally prove the correctness of complex programs understand and program with advanced type systems (e.g. dependent or linear) be aware of and apply advanced idioms in functional programming form connections with logic and the foundations of mathematics demonstrate an awareness of the current literature in this area
Assessment	35325-01 : Continuous Assessment : Coursework (100%)
Assessment Methods & Exceptions	Assessment: Continuous assessment (100%) Reassessment:Exam Supplementary period (100%)
Other	This is the Birmingham version of the module (the Dubai version has code 37206)
Reading List