Aachen (RWTH) 
Optimisation,Language Design,Promoting Functional Programming
http://www-i2.informatik.rwth-aachen.de/Forschung/FP/
Bristol 
Functional Programming Research, the Brisk project: reactive systems
http://www.cs.bris.ac.uk/~ian/Functional/index.html
Chalmers 
The Multi Group: HBC, Fudgets, Cayenne.
http://www.cs.chalmers.se/Cs/Research/Functional/
Compiler Construction and Programming Languages 
University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.
http://uebb.cs.tu-berlin.de/
Edingurgh LFCS 
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
http://www.inf.ed.ac.uk/research//lfcs/
Heriot-Watt University, Edinburgh 
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
http://www.macs.hw.ac.uk/~dsg/
Journal of Functional Programming 
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
http://www.cambridge.org/jfp/
KAIST 
Korea Advanced Institute of Science & Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
http://pllab.kaist.ac.kr/
Kiel 
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
http://www.informatik.uni-kiel.de/inf/Kluge/
Kyoto 
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
http://wwwfun.kurims.kyoto-u.ac.jp/index.html
London 
The Information Systems Research Group
http://www.cs.ucl.ac.uk/isrg/
Tokio 
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
http://www.ipl.t.u-tokyo.ac.jp/papers.html#FP
Tsukuba SCORE 
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
http://www.score.is.tsukuba.ac.jp/
Warwick 
FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
http://www.dcs.warwick.ac.uk/research/tapp/
|
|