Advanced Functional Programming

Graham Hutton, University of Nottingham

Overview

This course builds upon the introductory functional programming course by focusing on a number of more advanced topics, including aspects of recent and current research.

The precise topics covered will vary from year to year, but will include topics such as programming with effects, reasoning about programs, and improving program efficiency.

Lectures

Textbook:

      Book 2e Cover

Lectures:

Additional material:


Resources