Programme And Module Handbook
 
Course Details in 2024/25 Session


If you find any data displayed on this website that should be amended, please contact the Curriculum Management Team.

Module Title LH Advanced Functional Programming
SchoolComputer Science
Department Computer Science
Module Code 06 35309
Module Lead Martin Escardo
Level Honours 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 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 programsunderstand 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
Assessment 35309-01 : Continuous Assessment : Coursework (100%)
Assessment Methods & Exceptions Assessment:
Continuous assessment (100%)

Reassessment:Exam in Supplementary period (100%)
Other This is the Birmingham version of the module (the Dubai version has code 37203)
Reading List