Davide Fissore

100%
Libre accès
3
Documents
Identifiants chercheurs
Contact

Publications

Publications

Image document

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-05026472 v3
Image document

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-04547069 v4
Image document

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-04467855 v1