Danel Ahman & Tarmo Uustalu (2017):
Taking Updates Seriously.
In: Proceedings of the Sixth International Workshop on Bidirectional Transformations.
Available at http://ceur-ws.org/Vol-1827/paper11.pdf.
Bryce Clarke (2020):
Internal lenses as functors and cofunctors.
In: Applied Category Theory 2019,
Electronic Proceedings in Theoretical Computer Science.
(to appear).
Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011):
From State- to Delta-Based Bidirectional Model Transformations: The Asymmetric Case.
Journal of Object Technology,
doi:10.5381/jot.2011.10.1.a6.
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann & Fernando Orejas (2011):
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
In: Model Driven Engineering Languages and Systems,
doi:10.1007/978-3-642-24485-8_22.
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce & Alan Schmitt (2007):
Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem.
ACM Transactions on Programming Languages and Systems,
doi:10.1145/1232420.1232424.
Philip J. Higgins & Kirill C. H. Mackenzie (1993):
Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures.
Mathematical Proceedings of the Cambridge Philosophical Society,
doi:10.1017/S0305004100071760.
Martin Hofmann, Benjamin Pierce & Daniel Wagner (2011):
Symmetric Lenses.
ACM SIGPLAN Notices,
doi:10.1145/1925844.1926428.
Michael Johnson & François Renaud (2019):
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive.
In: Proceedings of the 8th International Workshop on Bidirectional Transformations.
Available at http://ceur-ws.org/Vol-2355/paper7.pdf.
Michael Johnson & Robert Rosebrugh (2013):
Delta Lenses and Opfibrations.
In: Proceedings of the Second International Workshop on Bidirectional Transformations,
doi:10.14279/tuj.eceasst.57.875.
Michael Johnson & Robert Rosebrugh (2014):
Spans of lenses.
In: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference.
Available at http://ceur-ws.org/Vol-1133/paper-18.pdf.
Michael Johnson & Robert Rosebrugh (2015):
Spans of Delta Lenses.
In: Proceedings of the Fourth International Workshop on Bidirectional Transformations.
Available at http://ceur-ws.org/Vol-1396/p1-johnson.pdf.
Michael Johnson & Robert Rosebrugh (2016):
Unifying Set-Based, Delta-Based and Edit-Based Lenses.
In: Proceedings of the Fifth International Workshop on Bidirectional Transformations.
Available at http://ceur-ws.org/Vol-1571/paper_13.pdf.
Michael Johnson & Robert Rosebrugh (2017):
Symmetric delta lenses and spans of asymmetric delta lenses.
Journal of Object Technology,
doi:10.5381/jot.2017.16.1.a2.
Michael Johnson & Robert Rosebrugh (2017):
Universal Updates for Symmetric Lenses.
In: Proceedings of the Sixth International Workshop on Bidirectional Transformations.
Available at http://ceur-ws.org/Vol-1827/paper8.pdf.
Stephen Lack & Ross Street (2002):
The formal theory of monads II.
Journal of Pure and Applied Algebra,
doi:10.1016/0022-4049(72)90019-9.
Robert Paré (2012):
Mealy Morphisms of Enriched Categories.
Applied Categorical Structures,
doi:10.1007/s10485-010-9238-8.
Ross Street (2020):
Polynomials as spans.
Cahiers de Topologie et Géométrie Différentielle Catégoriques LXI(2),
pp. 113–153.