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.
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.
On Principles of Least Change and Least Surprise for Bidirectional Transformations
James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens
In Journal of Object Technology. Vol. 16. No. 1. Pages 3:1−31. 2017.
Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday
In A List of Successes That Can Change the World. Vol. 9600 of LNCS. Pages 132−151. Springer. April, 2016.