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.

Selected Publications

View All

• Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

  Jeremy Gibbons

  In The Art‚ Science‚ and Engineering of Programming. Vol. 6. No. 2. Pages Article 7. 2022.

  Recipient of the Reviewers' Choice Award for 2022

  Details about Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity | BibTeX data for Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity | DOI (10.22152/programming-journal.org/2022/6/7) | Download (pdf) of Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

• Breadth−First Traversal Via Staging

  Jeremy Gibbons‚ Oisin Kidney‚ Tom Schrijvers and Nicolas Wu

  2022.

  to appear

  Details about Breadth−First Traversal Via Staging | BibTeX data for Breadth−First Traversal Via Staging | Download (pdf) of Breadth−First Traversal Via Staging

• Algorithmics

  Nicolas Wu Richard S. Bird Jeremy Gibbons Ralf Hinze Peter Hoefner Johan Jeuring Lambert G. L. T. Meertens Bernhard Moeller Carroll Morgan Tom Schrijvers Wouter Swierstra

  In Kai Rannenberg Michael Goedicke Erich J. Neuhold, editor, Advancing Research in Information and Communication Technology − IFIP's Exciting First 60+ Years‚ Views from the Technical Committees and Working Groups. Vol. 600 of IFIP Advances in Information and Communication Technology. Pages 59−98. Springer. 2021.

  Details about Algorithmics | BibTeX data for Algorithmics | DOI (10.1007/978-3-030-81701-5_3)