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

Sharon Curtis (Oxford Brookes)

Cezar Ionescu (Dept. for Continuing Education)

Kwok-Ho Cheung

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

• Bidirectional Transformations

  Jeremy Gibbons and Perdita Stevens, editors

  Vol. 9715 of LNCS. Springer. 2018.

  Details about Bidirectional Transformations | BibTeX data for Bidirectional Transformations | DOI (10.1007/978-3-319-79108-1) | Link to Bidirectional Transformations

• Introduction to Bidirectional Transformations

  Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

  Vol. 9715 of LNCS. Pages 1−28. 2018.

  Details about Introduction to Bidirectional Transformations | BibTeX data for Introduction to Bidirectional Transformations | DOI (10.1007/978-3-319-79108-1_1) | Download (pdf) of Introduction to Bidirectional Transformations

• 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