Write a Blog >>

Registered user since Thu 31 Aug 2017

Name:Milo Turner
Country:United States
Affiliation:PLT @ Northeastern University
Research interests:Typechecking, Macros, Dependent Types

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile