Research
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.
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.
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
Showing 20–20 of 21 results