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 yet
Name:
Antoine Voizard
Affiliation:
University of Pennsylvannia
Contributions
ICFP 2019
Author of A Role for Dependent Types in Haskell within the Research Papers-track
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
Share
x
Tue 16 Aug 09:55