POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Antoine Voizard

Not registered as user yet

Name: Antoine Voizard

Affiliation: University of Pennsylvannia

Contributions

CoqPL 2018Author of Locally Nameless at Scale within the -track
POPL 2018Author of Unifying Analytic and Statically-Typed Quasiquotes within the Research Papers-track
Author of Unifying Analytic and Statically-Typed Quasiquotes within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile