The following pages link to Boomerang (Q3189860):
Displaying 5 items.
- An efficient composition of bidirectional programs by memoization and lazy update (Q2039945) (← links)
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput (Q2335951) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)
