@misc{indiciae142e6ce06997,
  title = {Synthesizing Symmetric Lenses},
  author = {Anders Miltner and Solomon Maina and Kathleen Fisher and Benjamin C. Pierce and David Walker and Steve Zdancewic},
  year = {2019},
  url = {https://arxiv.org/abs/1810.11527},
  note = {Source identifier: 1810.11527}
}