%0 Conference Paper
%B Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
%D 2011
%T Calculating with Lenses: Optimising Bidirectional Transformations
%A Alcino Cunha
%A Hugo Pacheco
%C Austin, USA
%I ACM Press
%P 91–100
%X <p>This paper presents an equational calculus to reason about bidirectional transformations specified in the point-free style. In particular, it focuses on the so-calledlenses as a bidirectional idiom, and shows that many standard laws characterising point-free combinators and recursion patterns are also valid in that setting. A key result is that uniqueness also holds for bidirectional folds and unfolds, thus unleashing the power of fusion as a program optimisation technique. A rewriting system for automatic lens optimisation is also presented, to prove the usefulness of the proposed calculus.</p>
%8 January
%> https://haslab.uminho.pt/sites/default/files/alcino/files/pepm11.pdf