Research

Do you need Research?
Check it out the following sites about Research, or search 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.
» Bristol - Functional Programming Research, the Brisk project: reactive systems
» Chalmers - The Multi Group: HBC, Fudgets, Cayenne.
» Edingurgh LFCS - Laboratory for Foundations of Computer Science, U of Edinburgh, UK
» 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.
» KAIST - Korea Advanced Institute of Science & 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.
» Leuven (KU) - Program Specialisation, Functional Languages and Object Oriented Methods
» London - The Information Systems Research Group
» Nottingham - Languages and Programming Research Group at University of Nottingham, UK
» Simon Fraser University at Burnaby, Canada - Logic And Functional Programming Group.
» St Andrews - FP group at St Andrews, Scotland
» 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 - Functional programming research group at Yale University.