Categories related to Computers: Programming: Languages: Functional: Research: Computers: Computer Science: Academic Departments (603) Computers: Programming: Languages: Lisp: Scheme: Research (10) Websites on Research: Aachen (RWTH) Optimisation,Language Design,Promoting Functional Programming Bristol Functional Programming Research, the Brisk project: reactive systems Chalmers The Multi Group: HBC, Fudgets, Cayenne. Compiler Construction and Programming Languages University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal. 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 at Glasgow Functional Programming Group in the Computing Science Department at the University of Glasgow. Functional Programming Group Research group at the University of St Andrews, Scotland. 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 (qv) 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. 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. Yale Haskell Group Projects and publication of research group at the Yale University. York Functional Programming Group Research group at the Department of Computer Science of the University of York.
|
|