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