Aachen (RWTH)
Optimisation,Language Design,Promoting Functional Programming
Berlin (Technical University)
Compiler Construction and Programming Language Group, Opal (qv)
Birmingham
The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines.
Bristol
Functional Programming Research, the Brisk project: reactive systems
Chalmers
The Multi Group: HBC, Fudgets, Cayenne.
Edingurgh LFCS
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow.
Heriot-Watt University, Edinburgh
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
IFIP WG 2.8 - Functional Programming
a workgroup of the International Federation for Information Processing (qv)
Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
KAIST
Korea Advanced Institute of Science & Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
Kiel
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
Kyoto
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
Leuven (KU)
Program Specialisation, Functional Languages and Object Oriented Methods
London
The Information Systems Research Group
Nottingham
Languages and Programming Research Group at University of Nottingham, UK
Simon Fraser University at Burnaby, Canada
Logic And Functional Programming Group.
St Andrews
FP group at St Andrews, Scotland
Tokio
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
Results: 1 2 3 4 5 Next
Site
Menu 
