MetaDirectory
» Start » Languages » Functional » Research
See also:
- Computers: Computer Science: Academic Departments (603)
- Computers: Programming: Languages: Lisp: Scheme: Research (10)
- Aachen (RWTH)
Optimisation,Language Design,Promoting Functional Programming - Bristol
Functional Programming Research, the Brisk project: reactive systems - 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, UK - Foundations of Programming Research Group
Languages and Programming Research Group at University of Nottingham, UK - Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow. - Functional Programming Group
Research group at the University of St Andrews, Scotland. - 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. - KAIST
Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML - 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 Group - 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.
|