conf.researchr.org / Antoine Voizard

Not registered as user yet

Name: Antoine Voizard

Affiliation: University of Pennsylvannia

Contributions

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