The following pages link to Edit lenses (Q2942897):
Displaying 7 items.
- Coalgebraic update lenses (Q283736) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput (Q2335951) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Incremental Concurrent Model Synchronization using Triple Graph Grammars (Q5039536) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- Advanced model consistency restoration with higher-order short-cut rules (Q6635508) (← links)
