Applicative bidirectional programming with lenses.

Kazutaka Matsuda, Meng Wang

Browse the full ICFP paper archive.