Write a Blog >>
Stephen Chang

Registered user since Wed 29 Jan 2020

Name:Stephen Chang
Affiliation:Northeastern University

Contributions

POPL 2020 Dependent Type Systems as Macros
Show activities from other conferences

POPL 2020-profile
View general profile