Yale
Functional programming research group at Yale University.
Warwick
FP group at U of Warwick, UK: Parallel FP, Functional Language Implementation, Extending FP.
Tsukuba SCORE
Symbolic Computation Research Group at Tsukuba: combining functional and logic programming, term rewriting systems.
Tokio
FP publications of the Information Processing Laboratory (IPL) Tokio, Japan.
St Andrews
FP group at St Andrews, Scotland
Simon Fraser University at Burnaby, Canada
Logic And Functional Programming Group.
Nottingham
Languages and Programming Research Group at University of Nottingham, UK
London
The Information Systems Research Group
Kyoto
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
Kiel
Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.
[ 1 ] [ 2 ]
|