TY  - RPRT
TI  - Synthesizing Symmetric Lenses
AU  - Anders Miltner
AU  - Solomon Maina
AU  - Kathleen Fisher
AU  - Benjamin C. Pierce
AU  - David Walker
AU  - Steve Zdancewic
PY  - 2019
UR  - https://arxiv.org/abs/1810.11527
ID  - 1810.11527
ER  -