Computers

Computers & software — programming, internet, hardware, security, AI & more.

39644 resources

Computers/Programming/Languages/Functional/Research

Back

Research resources

Edingurgh LFCS

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

Foundations of Programming Research Group

Languages and Programming Research Group at University of Nottingham, UK

Heriot-Watt University, Edinburgh

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

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.

Journal of Functional Programming

Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.

Kiel

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

Kyoto

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

London

The Information Systems Research Group

Simon Fraser University at Burnaby, Canada

Logic And Functional Programming Group.

Tokio

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