Foundations of Functional Programming
Lecture Course on the Foundations of Functional Programming
Computer Science Tripos, Part 1b in Computer Science. Twelve lectures,
beginning on Thu 23rd April 1998, ending on 19th May 1998. Tuesday,
Thursday and Saturday at 11 in the Rayleigh Lecture Room. This course
comprises:
Larry Paulson's lecture notes on the
Foundations of Functional Programming.
the slides , which will be put on the
web after each lecture.
additional exercises.