Registered user since Thu 31 Aug 2017
Name:Milo Turner
Country:United States
Affiliation:PLT @ Northeastern University
Personal website:http://ccs.neu.edu/home/milo/
Research interests:Typechecking, Macros, Dependent Types
Contributions
POPL 2020 | Dependent Type Systems as Macros | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile