Registered user since Fri 22 Sep 2023
Name:Maxwell Heiber
Country:United Kingdom
Affiliation:Meta
Research interests:gradual typing, soundness, type safety, programming languages
Contributions
SPLASH 2023-profile
View general profile
View general profile