next up previous contents
Next: Databases Up: Easter Term 2000: Part Previous: Computer Graphics and Image

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: Databases Up: Easter Term 2000: Part Previous: Computer Graphics and Image
Christine Northeast
Mon Sep 20 10:28:43 BST 1999