Recommendations
- scientific article; zbMATH DE number 1834680
- Three complementary approaches to bidirectional programming
- All sorts of permutations (functional pearl)
- Much ado about two (pearl), a pearl on parallel prefix computation
- Principles and practice of bidirectional programming in BiGUL
- From bidirectionality to alternation.
- Functional pearl: streams and unique fixed points
Cited in
(17)- Principles and practice of bidirectional programming in BiGUL
- Generic recursive lens combinators and their calculation laws
- Relations as executable specifications: taming partiality and non-determinism using invariants
- Notions of bidirectional computation and entangled state monads
- Applicative bidirectional programming with lenses
- Formalizing semantic bidirectionalization and extensions with dependent types
- Three complementary approaches to bidirectional programming
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Combining syntactic and semantic bidirectionalization
- Bidirectionalizing graph transformations
- Characterizing Compatible View Updates in Syntactic Bidirectionalization
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- biXid: a bidirectional transformation language for XML
- Contract lenses: Reasoning about bidirectional programs via calculation
- Composing bidirectional programs monadically
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- How much is in a square? Calculating functional programs with squares
This page was built for publication: Bidirectionalization for free! (Pearl)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261515)
