D.: Symmetric lenses (2011)

by M Hofmann, B Pierce, Wagner
Venue:In: POPL