Antoine Voizard

According to our database, Antoine Voizard authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A role for dependent types in Haskell.

Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg

Proc. ACM Program. Lang., 2019

A Role for Dependent Types in Haskell (Extended version).

Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg

CoRR, 2019

Eta-Equivalence in Core Dependent Haskell.

Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

2018

Unifying analytic and statically-typed quasiquotes.

Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch

Proc. ACM Program. Lang., 2018

2017

A specification for dependent types in Haskell.

Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg

Proc. ACM Program. Lang., 2017

2014

New Algorithmic Approaches to Point Constellation Recognition.

Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard

Proceedings of the ICT Systems Security and Privacy Protection, 2014