Symmetric lenses
DOI10.1145/1926385.1926428zbMATH Open1284.18009OpenAlexW4244238952MaRDI QIDQ5408557FDOQ5408557
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
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 (13)
- Notions of Bidirectional Computation and Entangled State Monads
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- A navigational logic for reasoning about graph properties
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Coalgebraic update lenses
- Generic recursive lens combinators and their calculation laws
- Incremental Concurrent Model Synchronization using Triple Graph Grammars
- Contract lenses: Reasoning about bidirectional programs via calculation
- Title not available (Why is that?)
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- The more legs the merrier: A new composition for symmetric (multi-)lenses
- Reflections on Monadic 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)
