the entire directory only in Functional/Research

---

See also:

• Computers: Computer Science: Academic Departments (544)
• Computers: Programming: Languages: Lisp: Scheme: Research (6)

• Aachen (RWTH) - Optimisation, language design and promoting functional programming languages.
• Bristol - Functional Programming Research, the Brisk project: reactive systems
• Edingurgh LFCS - Laboratory for Foundations of Computer Science, U of Edinburgh, UK
• Foundations of Programming Research Group - Languages and Programming Research Group at University of Nottingham, UK
• Functional Programming Group - Research group at the University of St Andrews, Scotland.
• Functional Programming at Glasgow - Functional Programming Group in the Computing Science Department at the University of Glasgow.
• Heriot-Watt University, Edinburgh - Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
• IFIP WG 2.8 - Functional Programming - 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 - Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
• KAIST - Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
• Kiel - Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
• Kyoto - FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
• London - The Information Systems Research Group
• Simon Fraser University at Burnaby, Canada - Logic And Functional Programming Group.
• The Programming Languages and Systems Research Group - Research group at the Department of Computer Science of the University of York.
• Tokio - FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
• Tsukuba SCORE - Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
• Warwick - FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.

Usenet comp.lang.functional - news: - Google Groups
Usenet comp.object - news: - Google Groups

"Research" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2012 Netscape Terms of Use