Name:Maxwell Heiber

Country:United Kingdom

Affiliation:Meta

Research interests:gradual typing, soundness, type safety, programming languages