Publications

Determinacy Checking for Elpi

978-3-032-15981-6_5

Authors:

Davide Fissore, Enrico Tassi

Conference: PADL'26

Address: Rennes, France

Cryptarithmetic Playtime

ICTAI66417.2025.00009

Authors:

Arnaud Malapert, Marie Pelleau, Margaux Schmied, Davide Fissore

Conference: ICTAI'25

Address: Rennes, France

Higher-Order unification for free!

3678232.3678233

Authors:

Davide Fissore, Enrico Tassi

Conference: PPDP'24

Address: Athens, Greece

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)