Functional Programming at Glasgow

Research Themes

This is a list research themes currently supported by the Glasgow FP Group.

Haskell Language and Implementation

State, input/output, and concurrency

Semantics Based Program Manipulation

Applications of Category Theory and Type Theory

Parallel Functional Programming

Functional Languages for Massive Parallelism

Using Functional Languages for Hardware Specification, Synthesis and Analysis

Large Applications of Functional Languages

Functional Programming Group

Last changed: 1997/05/07 22:31:46