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
-
Completely iterative monads in semantics of coinductive programs
Maciej Adam Pirog
PhD Thesis , type=DPhil thesis DPhil thesisType. 2014.
Details about Completely iterative monads in semantics of coinductive programs | BibTeX data for Completely iterative monads in semantics of coinductive programs | Link to Completely iterative monads in semantics of coinductive programs
-
Cost semantics for heterogeneous parallel functional languages
Tim Zakian
PhD Thesis , type=DPhil thesis DPhil thesisType. 2020.
Details about Cost semantics for heterogeneous parallel functional languages | BibTeX data for Cost semantics for heterogeneous parallel functional languages | Link to Cost semantics for heterogeneous parallel functional languages
-
On the Non−Compositionality of Monads via Distributive Laws
Maaike Zwart
PhD Thesis Department of Computer Science‚ University of Oxford. September, 2020.
Details about On the Non−Compositionality of Monads via Distributive Laws | BibTeX data for On the Non−Compositionality of Monads via Distributive Laws | Download (pdf) of On the Non−Compositionality of Monads via Distributive Laws