Registered user since Wed 21 Oct 2015

Name:Jonathan Frankle
Affiliation:Princeton University

Contributions

POPL 2016 Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track