Directory: Top/Computers/Programming/Languages/Functional/Research

Top / Computers / Programming / Languages / Functional / Research /

Kyoto
FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.
http://wwwfun.kurims.kyoto-u.ac.jp/index.html
Kyoto-u.ac.jp ~ Site Info Whois Trace Route RBL Check

Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow.
http://www.dcs.gla.ac.uk/fp/
Gla.ac.uk ~ Site Info Whois Trace Route RBL Check

Edingurgh LFCS
Laboratory for Foundations of Computer Science, U of Edinburgh, UK
http://www.inf.ed.ac.uk/research//lfcs/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Compiler Construction and Programming Languages
University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.
http://uebb.cs.tu-berlin.de/
Tu-berlin.de ~ Site Info Whois Trace Route RBL Check

Heriot-Watt University, Edinburgh
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell
http://www.macs.hw.ac.uk/~dsg/
Hw.ac.uk ~ Site Info Whois Trace Route RBL Check

Foundations of Programming Research Group
Languages and Programming Research Group at University of Nottingham, UK
http://www.cs.nott.ac.uk/Research/fop/
Nott.ac.uk ~ Site Info Whois Trace Route RBL Check

Functional Programming Group
Research group at the University of St Andrews, Scotland.
http://www-fp.dcs.st-andrews.ac.uk/
St-andrews.ac.uk ~ Site Info Whois Trace Route RBL Check

York Functional Programming Group
Research group at the Department of Computer Science of the University of York.
http://www.cs.york.ac.uk/fp/
York.ac.uk ~ Site Info Whois Trace Route RBL Check

Yale Haskell Group
Projects and publication of research group at the Yale University.
http://www.haskell.org/yale/
Haskell.org ~ Site Info Whois Trace Route RBL Check

Journal of Functional Programming
Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.
http://journals.cambridge.org/action/displayJournal?jid=JFP
Cambridge.org ~ Site Info Whois Trace Route RBL Check