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
External
Past Members
Selected Publications
-
Distributive Interaction of Algebraic Effects
Kwok−Ho Cheung
PhD Thesis 2017.
Details about Distributive Interaction of Algebraic Effects | BibTeX data for Distributive Interaction of Algebraic Effects | Link to Distributive Interaction of Algebraic Effects
-
Relational Algebra by Way of Adjunctions
Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu
In PACMPL. Vol. 2. No. ICFP. September, 2018.
Winner of a Distinguished Paper Award
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