Matching lenses: alignment and view update

DOI10.1145/1863543.1863572MaRDI QIDQ5176940zbMATH OpenOpenAlexFDO

Authors Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce

Publication date 5 March 2015

Published in Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1863543.1863572

zbMATH Keywords

alignmentbidirectional languagesboomeranglensesview-update problem

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15) Information storage and retrieval of data (68P20) Semantics in the theory of computing (68Q55)

Recommendations

• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Applicative bidirectional programming with lenses
• Quotient lenses
• Boomerang, resourceful lenses for string data
• Coalgebraic update lenses

Cited in

(11)

• Applicative bidirectional programming with lenses
• Boomerang, resourceful lenses for string data
• Quotient lenses
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Research in Computational Molecular Biology
• Contract lenses: Reasoning about bidirectional programs via calculation
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• Typed compositional quantum computation with lenses
• Functorial data migration
• Typed compositional quantum computation with lenses

Describes a project that uses

Uses Software

• biXid

This page was built for publication: Matching lenses: alignment and view update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176940)