Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antoine Voizard
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
POPL 2018 profile
Not registered as user
Name:
Antoine Voizard
Affiliation:
University of Pennsylvannia
Contributions
2019
ICFP
Author of A Role for Dependent Types in Haskell within the Research Papers-track
2018
CoqPL
Author of Locally Nameless at Scale within the -track
POPL
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
2017
ICFP
Author of A Specification for Dependent Types in Haskell within the Research Papers-track
Share
x
Wed 9 Jul 18:34