University of Edinburgh - Category theory, domain theory, logic, type theory.

University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.

University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.

University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.

Phil Wadler's thoughts on Erlang.

Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.

Information on monads and functional programming

EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.