CSC412 Functional Programming 1995.

Note: CSC412 will not be given from 1996. There is a related unit `CSC431 Declarative Programming Languages' (1996) given jointly by LA and Kim Marriott.

Contents of this page:


The course begins with an introduction to lambda calculus, evaluation and recursion. It includes some issues in type systems, type checking, type inference and Milner-style polymorphic types. Some programming techniques are described and there is practical work both in lambda calculus and in a modern functional language (eg. LML or Haskell). Some of the following topics may also be discussed: Recommended book: Bird & Wadler, `Introduction to Functional Programming', Prentice Hall, 1988.

Past Years.

Copyright © Lloyd Allison / 1995