@inproceedings{hofmann2012edit,
  title={Edit lenses},
  author={Hofmann, Martin and Pierce, Benjamin and Wagner, Daniel},
  booktitle={ACM SIGPLAN Notices},
  volume={47},
  number={1},
  pages={495--508},
  year={2012},
  organization={ACM}
}