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

• Relational Algebra by Way of Adjunctions

  Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu

  In PACMPL. Vol. 2. No. ICFP. September, 2018.

  Details about Relational Algebra by Way of Adjunctions | BibTeX data for Relational Algebra by Way of Adjunctions | DOI (10.1145/3236781) | Download (pdf) of Relational Algebra by Way of Adjunctions

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

  Guillaume Boisseau and Jeremy Gibbons

  In PACMPL. Vol. 2. No. ICFP. September, 2018.

  Functional Pearl

  Details about What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma | BibTeX data for What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma | DOI (10.1145/3236779) | Download (pdf) of What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma

• 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