A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Universal Updates for Symmetric Lenses
2017
European Joint Conferences on Theory And Practice of Software
Asymmetric c-lenses are the special cases of asymmetric d-lenses (also called delta lenses) whose updates satisfy a universal property which in many applications ensures "least-change". There has therefore been hope that symmetric c-lenses might characterize those symmetric dlenses which satisfy a similar universal property. This paper begins an analysis of symmetric c-lenses and their relationship to symmetric dlenses and explains why the authors do not expect symmetric c-lenses, that is,
dblp:conf/etaps/JohnsonR17
fatcat:2z7eni65yne2xp67t6tbw3cmc4