Research (17)

See Also:
Regular Links:

http://www-i2.informatik.rwth-aachen.de/Forschung/FP/
Aachen (RWTH) Open in a new browser window
   Optimisation,Language Design,Promoting Functional Programming
   http://www-i2.informatik.rwth-aachen.de/Forschung/FP/
http://www.cs.bris.ac.uk/~ian/Functional/index.html
Bristol Open in a new browser window
   Functional Programming Research, the Brisk project: reactive systems
   http://www.cs.bris.ac.uk/~ian/Functional/index.html
http://www.cs.chalmers.se/Cs/Research/Functional/
Chalmers Open in a new browser window
   The Multi Group: HBC, Fudgets, Cayenne.
   http://www.cs.chalmers.se/Cs/Research/Functional/
http://uebb.cs.tu-berlin.de/
Compiler Construction and Programming Languages Open in a new browser window
   University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.
   http://uebb.cs.tu-berlin.de/
http://www.inf.ed.ac.uk/research//lfcs/
Edingurgh LFCS Open in a new browser window
   Laboratory for Foundations of Computer Science, U of Edinburgh, UK
   http://www.inf.ed.ac.uk/research//lfcs/
http://www.dcs.gla.ac.uk/fp/
Functional Programming at Glasgow Open in a new browser window
   Functional Programming Group in the Computing Science Department at the University of Glasgow.
   http://www.dcs.gla.ac.uk/fp/
http://www.macs.hw.ac.uk/~dsg/
Heriot-Watt University, Edinburgh Open in a new browser window
   Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
   http://www.macs.hw.ac.uk/~dsg/
http://www.md.chalmers.se/Misc/WG2.8/
IFIP WG 2.8 - Functional Programming Open in a new browser window
   a workgroup of the International Federation for Information Processing (qv)
   http://www.md.chalmers.se/Misc/WG2.8/
http://www.cambridge.org/jfp/
Journal of Functional Programming Open in a new browser window
   Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
   http://www.cambridge.org/jfp/
http://pllab.kaist.ac.kr/
KAIST Open in a new browser window
   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/
http://www.informatik.uni-kiel.de/inf/Kluge/
Kiel Open in a new browser window
   Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
   http://www.informatik.uni-kiel.de/inf/Kluge/
http://wwwfun.kurims.kyoto-u.ac.jp/index.html
Kyoto Open in a new browser window
   FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
   http://wwwfun.kurims.kyoto-u.ac.jp/index.html
http://www.cs.ucl.ac.uk/isrg/
London Open in a new browser window
   The Information Systems Research Group
   http://www.cs.ucl.ac.uk/isrg/
http://www.cs.sfu.ca/research/groups/Logic-Functional.html
Simon Fraser University at Burnaby, Canada Open in a new browser window
   Logic And Functional Programming Group.
   http://www.cs.sfu.ca/research/groups/Logic-Functional.html
http://www.ipl.t.u-tokyo.ac.jp/papers.html#FP
Tokio Open in a new browser window
   FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
   http://www.ipl.t.u-tokyo.ac.jp/papers.html#FP
http://www.score.is.tsukuba.ac.jp/
Tsukuba SCORE Open in a new browser window
   Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
   http://www.score.is.tsukuba.ac.jp/
http://www.dcs.warwick.ac.uk/research/tapp/
Warwick Open in a new browser window
   FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
   http://www.dcs.warwick.ac.uk/research/tapp/

Last Updated: 2007-08-23 06:48:37