Foundations
of Functional Programming. (Since 2009, the last three
lectures of this course have incorporated some material from
a Part IB course on Foundations of Functional Programming
that is no longer offered.)