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

Activities

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

Read more about Algebra of Programming

Metacomputation Started in 2006, this is funded by a £431K EPSRC Platform Grant and …

Read more about Metacomputation

All Projects

Projects

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

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

Read more about Generic and Indexed Programming

All Publications

Publications

Relational Algebra by Way of Adjunctions

Read more about Relational Algebra by Way of Adjunctions

What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma

Read more about What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma

Research