conf.researchr.org / Maxwell Heiber

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