Programme And Module Handbook
 
Course Details in 2025/26 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 37203
Module Lead Dr Dan Ghica
Level Honours Level
Credits 20
Semester Semester 2
Pre-requisites LI Functional Programming - (06 34254)
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 37203-01 : Continuous Assessment : Coursework (100%)
Assessment Methods & Exceptions 100% continuous assessment
Other This is the Dubai version of the module (the Bham version has code 35309)
Reading List