- Home
- Quizzes
Tag
Quizzes
14 sites carry this tag.
The Programming Languages and Systems Research Group
The Programming Languages and Systems Research Group- Research group at the Department of Computer Science of the University of York.
IFIP WG 2.8 - Functional Programming
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…
Functional Programming Group
Functional Programming Group- Research group at the University of St Andrews, Scotland.
Foundations of Programming Research Group
Foundations of Programming Research Group- Languages and Programming Research Group at University of Nottingham, UK
Heriot-Watt University, Edinburgh
Heriot-Watt University, Edinburgh- Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
Edingurgh LFCS
Edingurgh LFCS- Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Kyoto
Kyoto- FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
Tokio
Tokio- FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
Kiel
Kiel- Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
London
London- The Information Systems Research Group
Simon Fraser University at Burnaby, Canada
Simon Fraser University at Burnaby, Canada- Logic And Functional Programming Group.
KAIST
KAIST- Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML
Bristol
Bristol- Functional Programming Research, the Brisk project: reactive systems
Journal of Functional Programming
Journal of Functional Programming- Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.