Write a Blog >>

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 2020Author of Dependent Type Systems as Macros within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile