Symmetric lenses
From MaRDI portal
Publication:5408557
DOI10.1145/1926385.1926428zbMath1284.18009OpenAlexW4244238952MaRDI QIDQ5408557
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) Applications of universal algebra in computer science (08A70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of software (68N99)
Related Items (13)
Generic recursive lens combinators and their calculation laws ⋮ Incremental Concurrent Model Synchronization using Triple Graph Grammars ⋮ Coalgebraic update lenses ⋮ Reflections on Monadic Lenses ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ A diagrammatic approach to symmetric lenses ⋮ The more legs the merrier: A new composition for symmetric (multi-)lenses ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Unnamed Item ⋮ A navigational logic for reasoning about graph properties ⋮ Multiple model synchronization with multiary delta lenses with amendment and K-Putput
This page was built for publication: Symmetric lenses
