Module 06-26942 (2015)

Advanced Topics in Functional Programming Extended

Level 4/M

Outline

This module exposes students to state of the art functional programming languages and presents unusual or unexpected applications of functional programming, such as system-level programming. Students can expect to develop advanced functional programming skills.

Aims

The aims of this module are to:

expose students to the state of the art in functional programming languages

present unusual or unexpected applications of functional programming such as system-level programming

reveal the deep connection between functional programming and proof systems

allow students to develop advanced functional programming skills

Learning Outcomes

On successful completion of this module, the student should be able to: