Antoine Voizard

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Multiresolution

Plagiarism Detection

Algorithmic Approaches

Top Venues

Proc. ACM Program. Lang.

Publications

Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich
Eta-Equivalence in Core Dependent Haskell. TYPES (2019)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A role for dependent types in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A Role for Dependent Types in Haskell (Extended version). CoRR (2019)
Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch
Unifying analytic and statically-typed quasiquotes. Proc. ACM Program. Lang. 2 (POPL) (2018)
Stephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg
A specification for dependent types in Haskell. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard
New Algorithmic Approaches to Point Constellation Recognition. SEC (2014)
Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard
New Algorithmic Approaches to Point Constellation Recognition. CoRR (2014)