CS 653: Functional Programming

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; denotational semantics of functional languages; implementing functional languages.

Back to list of courses