Davide Fissore

100 %
Libre accès
3
Documents
Identifiants chercheurs
Contact

Publications

Publications

Deposit thumbnail

Determinacy Checking for Elpi: an Higher-Order Logic Programming language with Cut

Davide Fissore , Enrico Tassi

PADL 2026 - The 28th International Symposium on Practical Aspects of Declarative Languages, Jan 2026, Rennes, France. pp.77-95, ⟨10.1007/978-3-032-15981-6_5⟩

Communication dans un congrès hal-05026472v3
Deposit thumbnail

Higher-Order unification for free!

Davide Fissore , Enrico Tassi

PPDP 2024: 26th International Symposium on Principles and Practice of Declarative Programming, Sep 2024, Milan, Italy. pp.1-13, ⟨10.1145/3678232.3678233⟩

Communication dans un congrès hal-04547069v4
Deposit thumbnail

A new Type-Class solver for Coq in Elpi

Davide Fissore , Enrico Tassi

The Coq Workshop 2023, Jul 2023, Białystok, Poland

Communication dans un congrès hal-04467855v1