Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses
ICFP, 2019.
@article{ICFP-2019-MiltnerMFPWZ,
author = "Anders Miltner and Solomon Maina and Kathleen Fisher and Benjamin C. Pierce and David Walker and Steve Zdancewic",
doi = "10.1145/3341699",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "28",
title = "{Synthesizing symmetric lenses}",
volume = 3,
year = 2019,
}