Not registered as user yet

Name: Jacob Steinhardt

Affiliation: Stanford University

Contributions

POPL 2019Author of FrAngel: Component-Based Synthesis with Control Structures within the Research Papers-track