Synthesizing symmetric lenses

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Research output: Contribution to journalArticlepeer-review

18 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesizing symmetric lenses'. Together they form a unique fingerprint.

Mathematics

Keyphrases

Computer Science