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 (SEC, 2014)

A specification for dependent types in Haskell. - Stephanie Weirich; Antoine Voizard; Pedro Henrique Azevedo de Amorim; Richard A. Eisenberg (Proc. ACM Program. Lang., 2017)

Unifying analytic and statically-typed quasiquotes. - Lionel Parreaux; Antoine Voizard; Amir Shaikhha; Christoph E. Koch (Proc. ACM Program. Lang., 2018)

Eta-Equivalence in Core Dependent Haskell. - Anastasiya Kravchuk-Kirilyuk; Antoine Voizard; Stephanie Weirich (TYPES, 2019)

A Role for Dependent Types in Haskell (Extended version). - Stephanie Weirich; Pritam Choudhury; Antoine Voizard; Richard A. Eisenberg (CoRR, 2019)

A role for dependent types in Haskell. - Stephanie Weirich; Pritam Choudhury; Antoine Voizard; Richard A. Eisenberg (Proc. ACM Program. Lang., 2019)