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

All Publications

Publications

On Principles of Least Change and Least Surprise for Bidirectional Transformations

Read more about On Principles of Least Change and Least Surprise for Bidirectional Transformations

Coalgebraic Aspects of Bidirectional Computation

Read more about Coalgebraic Aspects of Bidirectional Computation

Research