Statistics
Publications
3
Citations
82
H-Index
3
Active since
2017
Affiliations
Antoine Voizard is an author at California University of Pennsylvania specializing in programming languages, type systems, and computing.
Publications per year
2017–2019
3
3
Unifying analytic and statically-typed quasiquotes
Lionel Parreaux, Antoine Voizard, Amir Shaikhha et al. · Proceedings of the ACM on Programming Languages · 2017 · 28 citations · Full text
A role for dependent types in Haskell
Stephanie Weirich, Pritam Choudhury, Antoine Voizard et al. · Proceedings of the ACM on Programming Languages · 2019 · 11 citations · Full text
1–3 of 3