Computer Laboratory
Foundations of Functional Programming
Computer Laboratory
>
Course material 2006-07
>
Foundations of Functional Programming
Foundations of Functional Programming
2006-07
Principal lecturer:
Prof Alan Mycroft
Taken by:
Part IB
Syllabus
Past exam questions
Lecturer-provided information:
The
Lecture Notes
(as printed).
Lambda-evaluator written in ML
.
Lambda-calculus type inferer in Prolog
.
The
Slides presented so far
.