Research - Musharof Chy
Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspec...
KAIST
Korea Advanced Institute of Science and Technology, Programming Language Laboratory - implementatio...
Simon Fraser University at Burnaby, Canada
Logic And Functional Programming 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 ...
Foundations of Programming Research Group
Languages and Programming Research Group at University of Nottingham, UK
Functional Programming Group
Research group at the University of St Andrews, Scotland.