Algebra of Programming

The Algebra of Programming group researches mathematically sound yet convenient techniques for manipulating and reasoning with programs, with a particular interest in the functional and relational paradigms and in generic programming. It seeks patterns in specifications, algorithms and programs, and abstracts these patterns to derive solutions to general classes of problems. An active weekly seminar consists of interactive problem-solving discussions around the whiteboard.

Richard Bird

Jeremy Gibbons

Photo not available Geraint Jones

Kwok-Ho Cheung

Sharon Curtis (Oxford Brookes)

Cezar Ionescu (Dept. for Continuing Education)

Stephen Drape

Tom Harper

Ralf Hinze

Daniel James

Josh Ko

José Pedro Magalhães

Photo not available Bruno Oliveira

Maciej Pirog

Meng Wang

Nicolas Wu

Selected Publications

View All

• Coalgebraic Aspects of Bidirectional Computation

  Faris Abou−Saleh‚ James McKinna and Jeremy Gibbons

  In Journal of Object Technology. Vol. 16. No. 1. Pages 1:1−29. 2017.

  Details about Coalgebraic Aspects of Bidirectional Computation | BibTeX data for Coalgebraic Aspects of Bidirectional Computation | DOI (10.5381/jot.2017.16.1.a1) | Download (pdf) of Coalgebraic Aspects of Bidirectional Computation

• On Principles of Least Change and Least Surprise for Bidirectional Transformations

  James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

  In Journal of Object Technology. Vol. 16. No. 1. Pages 3:1−31. 2017.

  Details about On Principles of Least Change and Least Surprise for Bidirectional Transformations | BibTeX data for On Principles of Least Change and Least Surprise for Bidirectional Transformations | DOI (10.5381/jot.2017.16.1.a3) | Download (pdf) of On Principles of Least Change and Least Surprise for Bidirectional Transformations

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

  Jeremy Gibbons

  In A List of Successes That Can Change the World. Vol. 9600 of LNCS. Pages 132−151. Springer. April, 2016.

  Details about Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday | BibTeX data for Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday | DOI (10.1007/978-3-319-30936-1_7) | Download (pdf) of Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday