Publications

Higher-Order unification for free!

hal-04547069

Authors:

Davide Fissore, Enrico Tassi

Conference: PPDP'24

Address: Milan, Italy

A new Type-Class solver for Coq in Elpi

hal-04467855

Authors:

Davide Fissore, Enrico Tassi

Conference: The Coq Workshop, 2023

Address: Bialystok, Poland

Jouer avec des Cryptarithmes en Programmation par Contraintes

Authors:

Arnaud Malapert, Margaux Schmied, Davide Fissore, Marie Pelleau, Ambre Picard Machetto

Conference: JFPC, 2023 - (pag. 96-101)