Synthesizing Symmetric Lenses

Anders Miltner, Solomon Maina, Kathleen Fisher +3

Lenses are programs that can be run both "front to back" and "back to front," allowing updates to either their source or their target data to be transferred in both directions. Len…