Functional Programming Group

Resources

Hume: Hume is a domain-specific high-level programming language for real-time embedded systems. The EmBounded Project aims to identify, quantify and certify resource-bounded code in Hume using formal models of resource consumption.

Glasgow Haskell Compiler: The Glasgow Haskell compiler (GHC) is a state of the art compiler for Haskell.
Glasgow Parallel Haskell: Glasgow Parallel Haskell (GPH) is the language we have developed in cooperation with Phil Trinder, Simon Peyton Jones et al. Our implementation is called GUM.
GranSim: GranSim is the highly tunable parallel simulator developed by Kevin Hammond and Hans-Wolfgang Loidl. It boasts a suite of accurate performance monitoring tools, supporting high quality visualisation of parallel profiles, and has been used to help parallelise several large programs, including the 47,000 line LOLITA natural language processor.
Haskell: Haskell is a polymorphically typed, lazy, purely functional programming language.
HasPar: HasPar is the suite of parallel performance evaluation tools developed at St Andrews, Heriot-Watt and elsewhere. It includes the basic GranSim simulator as well as an idealised parallel simulator, parallel cost centre profiling, and strategic profiling integrated into a single compiler version.
HUGS: HUGS is a simple interpreter for a large subset of Haskell.

Caml
Clean
Epigram: Epigram is a dependently typed programming language and an interactive programming environment.
Erlang
Standard ML