Matching lenses
From MaRDI portal
Publication:5176940
DOI10.1145/1863543.1863572zbMath1323.68062OpenAlexW2037471787MaRDI QIDQ5176940
Nate Foster, Benjamin C. Pierce, Julien Cretin, Davi M. J. Barbosa, Michael Greenberg
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
Database theory (68P15) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Information storage and retrieval of data (68P20)
Related Items (4)
Contract lenses: Reasoning about bidirectional programs via calculation ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Functorial data migration ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization
Uses Software
This page was built for publication: Matching lenses
