The whatUseek Directory

for

Home > Computers > Programming > Languages > Functional >

Research

New! Submit a site

whatUseek Collection Sites (submit a site ):

Give your site great placement in this category in as little as two business days!

whatUseek Directory Site Listings:

Aachen (RWTH) - Optimisation,Language Design,Promoting Functional Programming

Berlin (Technical University) - Compiler Construction and Programming Language Group, Opal (qv)

Birmingham - The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines.

Bristol - Functional Programming Research, the Brisk project: reactive systems

Chalmers - The Multi Group: HBC, Fudgets, Cayenne.

Edingurgh LFCS - Laboratory for Foundations of Computer Science, U of Edinburgh, UK

Functional Programming at Glasgow - Functional Programming Group in the Computing Science Department at the University of Glasgow.

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 (qv)

Journal of Functional Programming - Bimonthly journal covering foundations, implementations, linguistics, applications, and other aspects of functional programming.

KAIST - Korea Advanced Institute of Science & Technology, Programming Language Laboratory - implementation of FL, parallel architecture for FL, programming environment for SML

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.

Leuven (KU) - Program Specialisation, Functional Languages and Object Oriented Methods

London - The Information Systems Research Group

Nijmegen - Functional Programming Languages Research

Nottingham - Languages and Programming Research Group at University of Nottingham, UK

Simon Fraser University at Burnaby, Canada - Logic And Functional Programming Group

St Andrews - FP group at St Andrews, Scotland

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

[ 1 2 ]

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

About Help Content Filter Terms Privacy Policy