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
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
The Information Systems Research Group
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
Logic And Functional Programming Group.
Last update:
October 8, 2021 at 7:15:10 UTC
Check out
Regional: Europe: United Kingdom: England: Cumbria: Penrith: Business and Economy: Shopping
- Recently edited by merlin1
- Recently edited by merlin1