Retentive Lenses

Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko +1

Based on Foster et al.'s lenses, various bidirectional programming languages and systems have been developed for helping the user to write correct data synchronisers. The two well-…