@article{miltner-2017-synthesizing,
  author    = {Anders Miltner and
               Kathleen Fisher and
               Benjamin C. Pierce and
               David Walker and
               Steve Zdancewic},
  title     = {Synthesizing bijective lenses},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {1:1--1:30},
  year      = {2018},,
  doi       = {10.1145/3158089},
}