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.
Faculty
Students
External
Past Members
Selected Publications
-
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)