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 Laboratory.  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

Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday

Read more about Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday

Profile photo - Jeremy Gibbons

Jeremy Gibbons

T: 01865 283508
T: 01865 283521
T: 01865 (2)83557 (Karen Barnes)

Full Profile

Research