Home

We are the Programming Languages Research Group in the School of Computer Science at the University of St Andrews. The group conducts research relating to programming languages with emphasis on type systems, parallelism and functional languages.