Antoine Voizard

Not registered as user yet

Name: Antoine Voizard

Affiliation: University of Pennsylvannia

Contributions

CoqPL 2018	Author of Locally Nameless at Scale within the -track
ICFP 2017	Author of A Specification for Dependent Types in Haskell within the Research Papers-track
POPL 2018	Author 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