Skip to main content

Programming Languages

Research falling under this theme includes our work in programming language design and implementation, a long-established research strength of the Department.  We have two research groups in this area, one focussed upon programming tools, the other upon the algebra of programming.  It includes also much of our work in metacomputation, an area covering several fields, but with a particular focus upon languages and programming calculi.

Related seminar series

All Activities


Algebra of Programming The Algebra of Programming group researches mathematically sound yet …

Read more about Algebra of Programming

All Projects


Generic and Indexed Programming Generic programming is about increasing the flexibility of programs without compromising …

Read more about Generic and Indexed Programming

Reusability and Dependent Types To explore the potential of dependent types to deliver reusable and reliable software com…

Read more about Reusability and Dependent Types

All Publications