Related categories 2
Sites 10
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Languages and Programming Research Group at University of Nottingham, UK
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
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.
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
The Information Systems Research Group
Logic And Functional Programming Group.
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of 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.
Languages and Programming Research Group at University of Nottingham, UK
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Logic And Functional Programming Group.
The Information Systems Research Group
