Edit lenses
From MaRDI portal
Publication:2942897
Recommendations
Cited in
(21)- Generic recursive lens combinators and their calculation laws
- Towards an Algebraic Theory of Bidirectional Transformations
- General supervised learning as change propagation with delta lenses
- Notions of bidirectional computation and entangled state monads
- A clear picture of lens laws
- Contract lenses: Reasoning about bidirectional programs via calculation
- Towards optic-based algebraic theories: the case of lenses
- Coalgebraic update lenses
- Modular edit lenses
- Symmetric lenses
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- Boomerang, resourceful lenses for string data
- Internal lenses as functors and cofunctors
- Hazelnut: a bidirectionally typed structure editor calculus
- Generic point-free lenses
- The safari of update structures: visiting the lens and quantum enclosures
- Unifying heterogeneous state-spaces with lenses
- Advanced model consistency restoration with higher-order short-cut rules
- Quotient lenses
- Incremental concurrent model synchronization using triple graph grammars
- Lenses, fibrations and universal translations
This page was built for publication: Edit lenses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942897)
