An Algebraic Approach to Bi-directional Updating
No abstract available.
Related papers
- Incremental updates for efficient bidirectional transformations ICFP 2011
- Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog ESOP 2019
- Type directed compilation of row-typed algebraic effects POPL 2017
- Bidirectional evaluation with direct manipulation OOPSLA 2018
- Combinators for bi-directional tree transformations: a linguistic approach to the view update problem POPL 2005
- LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory ICFP 2026
- Programming with Variable Functions ICFP 1998
- Shared subtypes: subtyping recursive parametrized algebraic data types Haskell 2008