Registered user since Mon 16 Jan 2023

Name:Gabriel Grand
Country:United States
Affiliation:Massachusetts Institute of Technology

Contributions

POPL 2023 Author of Top-Down Synthesis for Library Learning within the POPL-track