Research

See also:

• Computers: Computer Science: Academic Departments  (607)
• Computers: Programming: Languages: Lisp: Scheme: Research  (10)

Aachen (RWTH) - - Optimisation,Language Design,Promoting Functional Programmin.

Bristol - - Functional Programming Research, the Brisk project: reactive system.

Chalmers - - The Multi Group: HBC, Fudgets, Cayenne.

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.

Edingurgh LFCS - - Laboratory for Foundations of Computer Science, U of Edinburgh, U.

Foundations of Programming Research Group - - Languages and Programming Research Group at University of Nottingham, U.

Functional Programming at Glasgow - - Functional Programming Group in the Computing Science Department at the University of Glasgow.

Functional Programming Group - - Research group at at the University of St Andrews, Scotland.

Heriot-Watt University, Edinburgh - - Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskel.

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 and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SM.

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.

London - - The Information Systems Research Grou.

Simon Fraser University at Burnaby, Canada - - Logic And Functional Programming Group.

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.

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.

York Functional Programming Group - - Research group at the Department of Computer Science of the University of York.