TY  - RPRT
TI  - Synthesizing Bijective Lenses
AU  - Anders Miltner
AU  - Kathleen Fisher
AU  - Benjamin C. Pierce
AU  - David Walker
AU  - Steve Zdancewic
PY  - 2017
UR  - https://arxiv.org/abs/1710.03248
ID  - 1710.03248
ER  -