Module 06-34253 (2021)
Functional Programming
Level 2/I
Martin Escardo Eric Finster Mian Muhammad Hamayun | Semester 1 | 20 credits |
Co-ordinator: Eric Finster
Reviewer: Martin Escardo
The Module Description is a strict subset of this Syllabus Page.
Outline
This module builds on the Logic and Computation module, developing practical programming skills in a typed functional programming language. It will strengthen the algorithmic and design skills of the students within the functional framework, and will introduce them to some advanced programming language features.
Learning Outcomes
On successful completion of this module, the student should be able to:
- Present the basic ideas of functional programming languages
- Demonstrate the main elements of good functional programming style.
- Illustrate some of the uses and applications of functional programming.
- Introduce more advanced features of typed functional programming.
Assessment
- Main Assessments: Continuous assessment (100%)
- Supplementary Assessments: Examination (100%)
Programmes containing this module
- BSc Artificial Intelligence & Computer Science [0144]
- BSc Artificial Intelligence & Computer Science with an Industrial Year [9502]
- BSc Artificial Intelligence & Computer Science with Study Abroad [452B]
- BSc Computer Science [4436]
- BSc Computer Science with an Industrial Year [9499]
- BSc Computer Science with Digital Technology Partnership (PwC) [610C]
- BSc Computer Science with Digital Technology Partnership (Vodafone) [893C]
- BSc Computer Science with Study Abroad [5571]
- BSc Mathematics and Computer Science [5196]
- BSc Mathematics and Computer Science with an Industrial Year [9495]
- MEng Computer Science/Software Engineering [4754]
- MEng Computer Science/Software Engineering with an Industrial Year [9501]
- MSci Computer Science [4443]
- MSci Computer Science with an Industrial Year [9509]
- MSci Computer Science with Study Abroad [5576]
- MSci Mathematics and Computer Science [5197]
- MSci Mathematics and Computer Science with an Industrial Year [9496]