Optimisation,Language Design,Promoting Functional Programming

Compiler Construction and Programming Language Group, Opal (qv)

The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines.

Functional Programming Research, the Brisk project: reactive systems

The Multi Group: HBC, Fudgets, Cayenne.

Laboratory for Foundations of Computer Science, U of Edinburgh, UK

Functional Programming Group in the Computing Science Department at the University of Glasgow.

Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell

a workgroup of the International Federation for Information Processing (qv)

Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.

Korea Advanced Institute of Science & Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML

Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.

FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.

Program Specialisation, Functional Languages and Object Oriented Methods

The Information Systems Research Group

Languages and Programming Research Group at University of Nottingham, UK

Logic And Functional Programming Group.

FP group at St Andrews, Scotland

FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.

Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.

FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.

Functional programming research group at Yale University.