| Directory > Computers > Programming > Languages > Functional > Research Edingurgh LFCS
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
http://www.inf.ed.ac.uk/research//lfcs/
Reviews Rating: Not yet Rated
Whois Check
Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow.
http://www.dcs.gla.ac.uk/fp/
Reviews Rating: Not yet Rated
Whois Check
Kyoto
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
http://wwwfun.kurims.kyoto-u.ac.jp/index.html
Reviews Rating: Not yet Rated
Whois Check
Tokio
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
http://www.ipl.t.u-tokyo.ac.jp/papers.html#FP
Reviews Rating: Not yet Rated
Whois Check
Kiel
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
http://www.informatik.uni-kiel.de/inf/Kluge/
Reviews Rating: Not yet Rated
Whois Check
Yale
Functional programming research group at Yale University.
http://www.cs.york.ac.uk/fp/
Reviews Rating: Not yet Rated
Whois Check
Nottingham
Languages and Programming Research Group at University of Nottingham, UK
http://www.cs.nott.ac.uk/Research/lap/
Reviews Rating: Not yet Rated
Whois Check
Warwick
FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
http://www.dcs.warwick.ac.uk/research/tapp/
Reviews Rating: Not yet Rated
Whois Check
Leuven (KU)
Program Specialisation, Functional Languages and Object Oriented Methods
http://www.cs.kuleuven.ac.be/cwis/research/dtai/Research/tvt-E.shtml
Reviews Rating: Not yet Rated
Whois Check
London
The Information Systems Research Group
http://www.cs.ucl.ac.uk/isrg/
Reviews Rating: Not yet Rated
Whois Check
St Andrews
FP group at St Andrews, Scotland
http://www-fp.dcs.st-andrews.ac.uk/
Reviews Rating: Not yet Rated
Whois Check
Simon Fraser University at Burnaby, Canada
Logic And Functional Programming Group.
http://www.cs.sfu.ca/research/groups/Logic-Functional.html
Reviews Rating: Not yet Rated
Whois Check
Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other
aspects of functional programming.
http://www.dcs.gla.ac.uk/jfp/
Reviews Rating: Not yet Rated
Whois Check
IFIP WG 2.8 - Functional Programming
a workgroup of the International Federation for Information Processing (qv)
http://www.md.chalmers.se/Misc/WG2.8/
Reviews Rating: Not yet Rated
Whois Check
KAIST
Korea Advanced Institute of Science & Technology, Programming Language Laboratory -
implementation of FL, parallel architecture for FL, programming environment for SML
http://pllab.kaist.ac.kr/
Reviews Rating: Not yet Rated
Whois Check
Chalmers
The Multi Group: HBC, Fudgets, Cayenne.
http://www.cs.chalmers.se/Cs/Research/Functional/
Reviews Rating: Not yet Rated
Whois Check
Bristol
Functional Programming Research, the Brisk project: reactive systems
http://www.cs.bris.ac.uk/%7Eian/Functional/index.html
Reviews Rating: Not yet Rated
Whois Check
Birmingham
The xSLAM Project: using linear logic and explicit substitutions to construct and implement more
efficient abstract machines.
http://www.cs.bham.ac.uk/research/research.html
Reviews Rating: Not yet Rated
Whois Check
Berlin (Technical University)
Compiler Construction and Programming Language Group, Opal (qv)
http://uebb.cs.tu-berlin.de/index-english.html
Reviews Rating: Not yet Rated
Whois Check
Aachen (RWTH)
Optimisation,Language Design,Promoting Functional Programming
http://www-i2.informatik.rwth-aachen.de/Forschung/FP/
Reviews Rating: Not yet Rated
Whois Check
Heriot-Watt University, Edinburgh
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel
Haskell
http://www.cee.hw.ac.uk/~dsg/
Reviews Rating: Not yet Rated
Whois Check
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term
rewriting systems.
http://www.score.is.tsukuba.ac.jp/
Reviews Rating: Not yet Rated
Whois Check
|
