Computing Laboratory. Research groups include Theoretical computer science, Networks and distributed systems, Software and systems engineering, Information systems, Parallel and scientific computing, and Computers and education research.

Information Systems Security Group.

Home site of object-oriented teaching language and environment. Examples, manuals, downloads for Solaris and Linux, sources.

Language Specification.

Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.

Paper by Tim Hopkins, which can be downloaded in PostScript format.

Claus Reinke's , well organized bookmarks on FP.

By Simon Thompson; Addison-Wesley, 1999, ISBN 0201342758. Edition 2, introductory textbook to functional programming in Haskell. [University of Kent]

By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent]

Article by Steve Hill and Simon Thompson.