Catalogue of Modules, University of Nottingham

G52AFP Advanced Functional Programming
(Last Updated:27 May 2017)

Year  15/16

Total Credits: 10

Level: Level 2

Target Students:  Part I undergraduate students in the School of Computer Science. Also available to students from other Schools with the agreement of the module convenor.

This module is part of the Programming theme in the School of Computer Science.  Available to JYA/Erasmus students.

Taught Semesters:

Spring Assessed by end of Spring Semester 


G51PGP Programming Paradigms 

Corequisites:  None.

Summary of Content:  Building upon the introductory Functional Programming module in year one, youíll focus on a number of more advanced topics such as: programming with effects; reasoning about programs; control flow; advanced libraries; improving efficiency; type systems; and functional pearls. Youíll spend around four hours per week in lectures and computer classes for this module.

Method and Frequency of Class:

ActivityNumber Of WeeksNumber of sessionsDuration of a session
Lecture 12 weeks2 per week1 hour
Computing 12 weeks1 per week2 hours

Activities may take place every teaching week of the Semester or only in specified weeks. It is usually specified above if an activity only takes place in some weeks of a Semester

Method of Assessment: 

Assessment TypeWeightRequirements
Exam 1 75 2 hr written examination 
Coursework 1 10 Programming exercise 
Coursework 2 15 Programming exercise 

Dr V Capretta

Education Aims:  
To provide a sound basis in a range of advanced topics in functional programming, including aspects of recent and current research. More generally, the module aims to teach fundamental principles and techniques that can profitably be applied in any programming language, whether it be functional or otherwise.

Learning Outcomes:  Knowledge and Understanding:
A sound understanding of the theory and practice of advanced functional programming.

Intellectual Skills:
The ability to apply mathematical practices and tools.

Professional Skills:
The ability to write and reason about advanced functional programs.

Transferrable Skills:
The ability to use functional techniques to solve problems.

Offering School:  Computer Science

Use the Back facility of your browser to return to the previous page.

Module Catalogue Search for another module

[UoN Welcome Page] Return to The University of Nottingham Welcome Page