Lenses for Partially-Specified States (Extended Version)

Kazutaka Matsuda, Minh Nguyen, Meng Wang

A bidirectional transformation is a pair of transformations satisfying certain well-behavedness properties: one maps source data into view data, and the other translates changes on…