Edit lenses
DOI10.1145/2103656.2103715zbMATH Open1321.68154OpenAlexW4245100030MaRDI QIDQ2942897FDOQ2942897
Authors: Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Publication date: 11 September 2015
Published in: Proceedings of the 39th 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/2103656.2103715
Recommendations
Data structures (68P05) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (19)
- Modular edit lenses
- Generic point-free lenses
- Notions of bidirectional computation and entangled state monads
- A clear picture of lens laws
- Quotient lenses
- Coalgebraic update lenses
- Generic recursive lens combinators and their calculation laws
- Symmetric lenses
- Contract lenses: Reasoning about bidirectional programs via calculation
- Boomerang, resourceful lenses for string data
- Advanced model consistency restoration with higher-order short-cut rules
- Towards an Algebraic Theory of Bidirectional Transformations
- Hazelnut: a bidirectionally typed structure editor calculus
- 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
- The safari of update structures: visiting the lens and quantum enclosures
- Unifying heterogeneous state-spaces with lenses
- 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)