Not registered as user yet

Name:Dave Walker
Affiliation:Princeton University

Contributions

ICFP 2018 Author of Synthesizing Quotient Lenses within the Research Papers-track