Web Directory

» 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/

» Foundations of Programming Research Group
   Languages and Programming Research Group at University of Nottingham, UK
   http://www.cs.nott.ac.uk/Research/fop/

» Functional Programming Group
   Research group at the University of St Andrews, Scotland.
   http://www-fp.dcs.st-andrews.ac.uk/

» Functional Programming at Glasgow
   Functional Programming Group in the Computing Science Department at the University of Glasgow.
   http://www.dcs.gla.ac.uk/fp/

» Heriot-Watt University, Edinburgh
   Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
   http://www.macs.hw.ac.uk/~dsg/

» IFIP WG 2.8 - Functional Programming
   a workgroup of the International Federation for Information Processing (qv)
   http://www.md.chalmers.se/Misc/WG2.8/

» Journal of Functional Programming
   Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
   http://journals.cambridge.org/action/displayJournal?jid=JFP

» KAIST
   Korea Advanced Institute of Science and 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/

» Simon Fraser University at Burnaby, Canada
   Logic And Functional Programming Group.
   http://www.cs.sfu.ca/research/groups/Logic-Functional.html

» 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://www2.score.cs.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/

» Yale Haskell Group
   Projects and publication of research group at the Yale University.
   http://www.haskell.org/yale/

» York Functional Programming Group
   Research group at the Department of Computer Science of the University of York.
   http://www.cs.york.ac.uk/fp/