
Prerequisites:
3-0-0-9
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
Current Course Information
Instructor(s):
Number of sections:
Tutors for each section:
Schedule for Lectures:
Schedule for Tutorial:
Schedule for Labs: