Synthesizing quotient lenses. - Solomon Maina; Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

Synthesizing symmetric lenses. - Anders Miltner; Solomon Maina; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2019)