Symmetric lenses

DOI10.1145/1926385.1926428zbMATH Open1284.18009OpenAlexW4244238952MaRDI QIDQ5408557FDOQ5408557

Authors Martin Hofmann, Benjamin C. Pierce, Daniel Wagner 

Publication date 10 April 2014

Published in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1926385.1926428

zbMATH Keywords

algebracategory theorylensview-update

Mathematics Subject Classification ID

Database theory (68P15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of software (68N99) Applications of universal algebra in computer science (08A70)

Recommendations

• Edit lenses
• Coalgebraic update lenses
• Generic point-free lenses
• Modular edit lenses
• A diagrammatic approach to symmetric lenses

Cited In (20)

• Modular edit lenses
• Automated Algebraic Reasoning for Collections and Local Variables with Lenses
• Generic point-free lenses
• A navigational logic for reasoning about graph properties
• Notions of bidirectional computation and entangled state monads
• A clear picture of lens laws
• The more legs the merrier: a new composition for symmetric (multi-)lenses
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• Coalgebraic update lenses
• Generic recursive lens combinators and their calculation laws
• Towards optic-based algebraic theories: the case of lenses
• Coequalisers under the lens
• Contract lenses: Reasoning about bidirectional programs via calculation
• Reflections on monadic lenses
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Internal lenses as functors and cofunctors
• Incremental concurrent model synchronization using triple graph grammars
• Edit lenses
• A diagrammatic approach to symmetric lenses
• General supervised learning as change propagation with delta lenses

This page was built for publication: Symmetric lenses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408557)