Davide Fissore

100%
Libre accès
3
Documents
Identifiants chercheurs
Contact

Publications

Publications

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