| 1. | Tsukuba SCORE | | | Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
www.score.is.tsukuba.ac.jp |
| 3. | Aachen (RWTH) | | | Optimisation,Language Design,Promoting Functional Programming
www-i2.informatik.rwth-aachen.de |
| 5. | Birmingham | | | The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines.
www.cs.bham.ac.uk |
| 6. | Bristol | | | Functional Programming Research, the Brisk project: reactive systems
www.cs.bris.ac.uk |
| 7. | Chalmers | | | The Multi Group: HBC, Fudgets, Cayenne.
www.cs.chalmers.se |
| 8. | KAIST | | | Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
pllab.kaist.ac.kr |
| 10. | Journal of Functional Programming | | | Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
www.dcs.gla.ac.uk |
| 12. | St Andrews | | | FP group at St Andrews, Scotland
www-fp.dcs.st-andrews.ac.uk |
| 13. | London | | | The Information Systems Research Group
www.cs.ucl.ac.uk |
| 14. | Warwick | | | FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
www.dcs.warwick.ac.uk |
| 15. | Nottingham | | | Languages and Programming Research Group at University of Nottingham, UK
www.cs.nott.ac.uk |
| 16. | Yale | | | Functional programming research group at Yale University.
www.cs.york.ac.uk |
| 17. | Kiel | | | Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
www.informatik.uni-kiel.de |
| 18. | Tokio | | | FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
www.ipl.t.u-tokyo.ac.jp |
| 20. | Edingurgh LFCS | | | Laboratory for Foundations of Computer Science, U of Edinburgh, UK
www.inf.ed.ac.uk |
| | |