Pages that link to "Item:Q4649378"
From MaRDI portal
The following pages link to Three Complementary Approaches to Bidirectional Programming (Q4649378):
Displaying 6 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Reflections on Monadic Lenses (Q3188278) (← links)
- (Q4779176) (← links)
- A Tangled Web of 12 Lens Laws (Q5162609) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Bidirectionalization for free! (Pearl) (Q5261515) (← links)