Edit lenses.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner

Browse the full POPL paper archive.