Directory of Research Resources

Home > Computers > Programming > Languages > Functional > Research

Resources in This Category

• Bristol

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

• 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 Group

  http://www-fp.dcs.st-andrews.ac.uk/
  Research group 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.comlab.ox.ac.uk/ralf.hinze/WG2.8/
  A workgroup of the International Federation for Information Processing for encouraging the exchange of information between researchers in the design, implementation, and use of functional programming languages.

• 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.

• The Programming Languages and Systems Research Group

  http://www.cs.york.ac.uk/plasma/
  Research group at the Department of Computer Science of the University of York.

• Tokio

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

Related Categories

• Home > Computers > Computer Science > Academic Departments
• Home > Computers > Programming > Languages > Lisp > Scheme > Research

 

Home > Computers > Programming > Languages > Functional > Research

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us