Google Directory - Computers > Programming > Languages > Functional



Directory

Directory Help
Search only in ResearchSearch the Web

Research

Computers > Programming > Languages > Functional > Research

Go to Directory Home: [English] [English]

Web Pages

View in Google PageRank order Viewing in alphabetical order

Aachen (RWTH) - http://www-i2.informatik.rwth-aachen.de/Forschung/FP/
Optimisation,Language Design,Promoting Functional Programming

Bristol - http://www.cs.bris.ac.uk/~ian/Functional/index.html
Functional Programming Research, the Brisk project: reactive systems

Chalmers - http://www.cs.chalmers.se/Cs/Research/Functional/
The Multi Group: HBC, Fudgets, Cayenne.

Compiler Construction and Programming Languages - http://uebb.cs.tu-berlin.de/
University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.

Edingurgh LFCS - http://www.inf.ed.ac.uk/research//lfcs/
Laboratory for Foundations of Computer Science, U of Edinburgh, UK

Foundations of Programming Research Group - http://www.cs.nott.ac.uk/Research/fop/
Languages and Programming Research Group at University of Nottingham, UK

Functional Programming at Glasgow - http://www.dcs.gla.ac.uk/fp/
Functional Programming Group in the Computing Science Department at the University of Glasgow.

Functional Programming Group - http://www-fp.dcs.st-andrews.ac.uk/
Research group at at the University of St Andrews, Scotland.

Heriot-Watt University, Edinburgh - http://www.macs.hw.ac.uk/~dsg/
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell

IFIP WG 2.8 - Functional Programming - http://www.md.chalmers.se/Misc/WG2.8/
a workgroup of the International Federation for Information Processing (qv)

Journal of Functional Programming - http://journals.cambridge.org/action/displayJournal?jid=JFP
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.

KAIST - http://pllab.kaist.ac.kr/
Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML

Kiel - http://www.informatik.uni-kiel.de/inf/Kluge/
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.

Kyoto - http://wwwfun.kurims.kyoto-u.ac.jp/index.html
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.

London - http://www.cs.ucl.ac.uk/isrg/
The Information Systems Research Group

Simon Fraser University at Burnaby, Canada - http://www.cs.sfu.ca/research/groups/Logic-Functional.html
Logic And Functional Programming Group.

Tokio - http://www.ipl.t.u-tokyo.ac.jp/papers.html#FP
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.

Tsukuba SCORE - http://www2.score.cs.tsukuba.ac.jp/
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.

Warwick - http://www.dcs.warwick.ac.uk/research/tapp/
FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.

Yale Haskell Group - http://www.haskell.org/yale/
Projects and publication of research group at the Yale University.

York Functional Programming Group - http://www.cs.york.ac.uk/fp/
Research group at the Department of Computer Science of the University of York.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor