Not registered as user yet

Name: Charles Chamberlain

Affiliation: University of Chicago

Contributions

META'18Author of Relit: Typed Literal Macros for Reason within the Meta-track
Show activities from other conferences

SPLASH 2018-profile
View general profile