This course will cover advanced topics in functional programming such as monads, continuation passing style, module systems, type classes, concurrency and others. Students will be required to implement a non-trivial project in a functional programming languages such as SML, OCaml, Haskell, Erlang and Scheme.

Materials in electronic and paper form will be provided by the instructor. Evaluation will be: Project 50%, oral presentation 10%, paper 20%, peer code reviewing 20%.