Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy

Prerequisites:  

Course Contents

ML (CAML dialect); X calculus and combinators; abstraction and higher order functions; lazy and eager evaluation; types, polymorphism and type inference; Equations and pattern matching; SECD machine; de-notational semantics of functional languages; implementing functional languages. 

Topics