Not registered as user yet

Name: Antoine Voizard

Affiliation: University of Pennsylvannia

POPL 2018 Activities

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