next up previous contents
Next: Project Briefing I Up: Easter Term 2001: Part Previous: Databases

Foundations of Functional Programming

Lecturer: Dr A.C. Norman (acn1@cl.cam.ac.uk)

No. of lectures: 12

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


Aims

Part A. The theory

Part B. Implementation techniques

Part C. Type reconstruction

Objectives


At the end of the course students should

Recommended books


Hindley, J.R. & Seldin, J.P. (1986). Introduction to Combinators and Lambda-Calculus. Cambridge University Press (now out of print but try a library).
Revesz, G.E. (1988). Lambda Calculus, Combinators and Functional Programming. Cambridge University Press (now out of print but try a library).



next up previous contents
Next: Project Briefing I Up: Easter Term 2001: Part Previous: Databases
Christine Northeast
Wed Sep 20 15:13:44 BST 2000