• Sign in
  • Sign up
conf.researchr.org / Antoine Voizard
  • 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
xWed 9 Jul 18:34
using conf.researchr.org (v1.69.1)
Support page
Sign Up