The following pages link to Matching lenses (Q5176940):
Displaying 5 items.
- Functorial data migration (Q714735) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Research in Computational Molecular Biology (Q5706897) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)