Write a Blog >>
Stephen Chang

Registered user since Wed 29 Jan 2020

Name: Stephen Chang

Affiliation: Northeastern University

Personal website: http://www.ccs.neu.edu/home/stchang/

Contributions

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

POPL 2020-profile
View general profile