conf.researchr.org / Jonathan Frankle
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 |