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.
Jeremy Gibbons and Perdita Stevens, editors
Vol. 9715 of LNCS. Springer. 2018.
Introduction to Bidirectional Transformations
Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens
Vol. 9715 of LNCS. Pages 1−28. 2018.
Coalgebraic Aspects of Bidirectional Computation
Faris Abou−Saleh‚ James McKinna and Jeremy Gibbons
In Journal of Object Technology. Vol. 16. No. 1. Pages 1:1−29. 2017.