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
Recommendations
Database theory (68P15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of software (68N99) Applications of universal algebra in computer science (08A70)
Cited In (19)
- 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
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)
