|
Directories
|
Top > Computers >
Programming >
Languages >
Functional >
Research
|
|
|
KAIST
Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
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.
Functional Programming Group
Research group at at the University of St Andrews, Scotland.
Aachen (RWTH)
Optimisation,Language Design,Promoting Functional Programming
Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
Bristol
Functional Programming Research, the Brisk project: reactive systems
Chalmers
The Multi Group: HBC, Fudgets, Cayenne.
Foundations of Programming Research Group
Languages and Programming Research Group at University of Nottingham, UK
Simon Fraser University at Burnaby, Canada
Logic And Functional Programming Group.
London
The Information Systems Research Group
York Functional Programming Group
Research group at the Department of Computer Science of the University of York.
Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow.
Warwick
FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
Yale Haskell Group
Projects and publication of research group at the Yale University.
Edingurgh LFCS
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Kiel
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
Tokio
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
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)
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
Kyoto
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
|
|
|
|
|
|
Sponsor
|
|
|
|
|