Pages that link to "Item:Q5398330"
From MaRDI portal
The following pages link to Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330):
Displayed 5 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Decision problems of tree transducers with origin (Q1641005) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Decision Problems of Tree Transducers with Origin (Q3449477) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)