Foundations of Functional Programming

Lecturer: Dr M.J. Parkinson

No. of lectures: 12

This course is a prerequisite for Types (Part II).

Aims

This course aims (a) to show how lambda-calculus and related
theories can provide a foundation for a large part of practical
programming,
(b) to present students with one particular type analysis algorithm
so that they will be better able to appreciate the Part II Types
course, and (c) to provide a bridge between the Part IA
Foundations of Computer Science course and the theory options in Part II.