Computers

Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.

56203 resources

Computers/Programming/Languages/Functional/Research

Back

Research resources

Simon Fraser University at Burnaby, Canada

Logic And Functional Programming Group.

London

The Information Systems Research Group

Kiel

Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.

Tokio

FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.

Kyoto

FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.

Edingurgh LFCS

Laboratory for Foundations of Computer Science, U of Edinburgh, UK

Heriot-Watt University, Edinburgh

Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell

Foundations of Programming Research Group

Languages and Programming Research Group at University of Nottingham, UK

Journal of Functional Programming

Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of 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 design, implementation, and use of functional programming languages.