The Functional Programming (FP) group is part of the larger Programming Languages and Systems group. We are interested in a wide range of topics in FP but specialise in software technology. Projects already undertaken range from formal reasoning about programs, through novel implementation methods, profiling and tracing tools, to application studies and experiments with variants of functional programming for relational, embedded, and interactive computing.
Here are links to more information about:
Page last updated 21 July 2005