Pages that link to "Item:Q5176938"
From MaRDI portal
The following pages link to Combining syntactic and semantic bidirectionalization (Q5176938):
Displayed 3 items.
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)