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.
The Information Systems Research Group
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
Logic And Functional Programming Group.
