Symmetric lenses
From MaRDI portal
Publication:5408557
Recommendations
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)