Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing bijective lenses
POPL, 2018.
@article{POPL-2018-MiltnerFPWZ,
author = "Anders Miltner and Kathleen Fisher and Benjamin C. Pierce and David Walker and Steve Zdancewic",
doi = "10.1145/3158089",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "30",
publisher = "{ACM}",
title = "{Synthesizing bijective lenses}",
volume = 2,
year = 2018,
}