Pages that link to "Item:Q5261515"
From MaRDI portal
The following pages link to Bidirectionalization for free! (Pearl) (Q5261515):
Displaying 7 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Principles and practice of bidirectional programming in BiGUL (Q1725931) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)