MetaXearch > / Programming / Languages / Functional / Research /
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems. (infos)Heriot-Watt University, Edinburgh
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell (infos)
Aachen (RWTH)
Optimisation,Language Design,Promoting Functional Programming (infos)
Berlin (Technical University)
Compiler Construction and Programming Language Group, Opal (qv) (infos)
Birmingham
The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines. (infos)
Bristol
Functional Programming Research, the Brisk project: reactive systems (infos)
Chalmers
The Multi Group: HBC, Fudgets, Cayenne. (infos)
KAIST
Korea Advanced Institute of Science & Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML (infos)
IFIP WG 2.8 - Functional Programming
a workgroup of the International Federation for Information Processing (qv) (infos)
Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming. (infos)