Contract lenses: Reasoning about bidirectional programs via calculation

DOI10.1017/s0956796823000059OpenAlexW4388429102MaRDI QIDQ6065510

Meng Wang, Unnamed Author, Zhenjiang Hu, Wenhao Tang, Ruifeng Xie

Publication date: 11 December 2023

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796823000059

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Introduction to bidirectional transformations
• Deriving structural hylomorphisms from recursive definitions
• Edit lenses
• Applicative bidirectional programming with lenses
• Boomerang
• Generic Point-free Lenses
• Update semantics of relational views
• Bidirectionalization transformation based on automatic derivation of view complement functions
• Combining syntactic and semantic bidirectionalization
• Matching lenses
• Bidirectionalizing graph transformations
• Quotient lenses
• Bidirectionalization for free! (Pearl)
• Combinators for bi-directional tree transformations
• Symmetric lenses
• Composing bidirectional programs monadically

This page was built for publication: Contract lenses: Reasoning about bidirectional programs via calculation