Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses
ICFP, 2018.
@article{ICFP-2018-MainaMFPWZ,
author = "Solomon Maina and Anders Miltner and Kathleen Fisher and Benjamin C. Pierce and David Walker and Steve Zdancewic",
doi = "10.1145/3236775",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{Synthesizing quotient lenses}",
volume = 2,
year = 2018,
}