School of Computer Science

Module 06-26942 (2014)

Advanced Topics in Functional Programming Extended

Level 4/M

Dan Ghica Semester 2 10 credits
Co-ordinator: Dan Ghica
Reviewer: Martin Escardo

The Module Description is a strict subset of this Syllabus Page.

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:

  1. employ advanced functional programming techniques in a practical setting
  2. demonstrate a practical understanding of the mathematical principles of functional programming
  3. demonstrate awareness of state-of-the-art developments in functional programming by selecting appropriate tools, techniques and languages for particular tasks
  4. Give an in-depth explanation of a current research topic in Functional Programming

Restrictions

Experience of OCaml or Haskell programming (for MSc students)


Teaching methods

Large-Group Lectures

Contact Hours:

34


Assessment

Sessional: 2 hr Examination (50%) Continuous Assessment (50%)

Supplementary (where allowed): 2 hr Examination (100%)


Detailed Syllabus

Not applicable


Programmes containing this module