Welcome to the Programming Languages Research Group.
This is the website of the Programming Languages Research Group at the University of Bristol.
Our research interests include:
- Functional programming
- Program analysis
- Program synthesis
- Security, cryptography, and programming languages
- Semantics of programming languages
- Type theory and foundations
Head of Group
|COMS10016||Imperative and Functional Programming|
|COMS20007||Programming Languages and Computation|
|COMS30040||Lambda Calculus and Types|
|COMSM0067||Advanced Topics in Programming Languages|