Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Computers:   Programming:   Languages:   Functional:   Research

Other Category:

Computers: Computer Science: Academic Departments Computers: Programming: Languages: Lisp: Scheme: Research

Sites:

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