@article{miltner-2019-synthesizing, title={Synthesizing symmetric lenses}, volume={3}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3341699}, DOI={10.1145/3341699}, number={ICFP}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Miltner, Anders and Maina, Solomon and Fisher, Kathleen and Pierce, Benjamin C. and Walker, David and Zdancewic, Steve}, year={2019}, month=July, pages={1–28} }