Not registered as user yet

Name: Dave Walker

Affiliation: Princeton University

Contributions

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