Formalizing semantic bidirectionalization and extensions with dependent types
From MaRDI portal
Publication:347391
DOI10.1016/J.JLAMP.2016.04.002zbMATH Open1353.68042OpenAlexW2473813316MaRDI QIDQ347391FDOQ347391
Authors: Helmut Grohne, Janis Voigtländer 
Publication date: 30 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.04.002
Recommendations
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Bidirectionalization for free! (Pearl)
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Applicative bidirectional programming with lenses
- Combining syntactic and semantic bidirectionalization
Cites Work
- Dependently typed programming in Agda
- Theorem Proving in Higher Order Logics
- Proofs for free. Parametricity for dependent types
- A programmable editor for developing structured documents based on bidirectional transformations
- Applicative bidirectional programming with lenses
- Update semantics of relational views
- Title not available (Why is that?)
- Three complementary approaches to bidirectional programming
- Transporting functions across ornaments
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Bidirectionalizing graph transformations
- Type-theory in color
- Bidirectionalization for free! (Pearl)
- A Categorical Treatment of Ornaments
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Cited In (3)
Uses Software
This page was built for publication: Formalizing semantic bidirectionalization and extensions with dependent types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q347391)
