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.
Completely iterative monads in semantics of coinductive programs
Maciej Adam Pirog
PhD Thesis , type=DPhil thesis DPhil thesisType. 2014.
Cost semantics for heterogeneous parallel functional languages
PhD Thesis , type=DPhil thesis DPhil thesisType. 2020.
On the Non−Compositionality of Monads via Distributive Laws
PhD Thesis Department of Computer Science‚ University of Oxford. September, 2020.