Write a Blog >>
Jonathan Frankle

Registered user since Wed 21 Oct 2015

Name: Jonathan Frankle

Affiliation: Princeton University

Contributions

POPL 2016 Example-Directed Synthesis: A Type-Theoretic Interpretation
Show activities from other conferences

POPL 2016-profile
View general profile