The following pages link to Quotient lenses (Q5178774):
Displaying 6 items.
- Coalgebraic update lenses (Q283736) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- A Tangled Web of 12 Lens Laws (Q5162609) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)
