
Davide Fissore
100%
Libre accès
3
Documents
Identifiants chercheurs
Publications
Publications
|
Determinacy Checking for Elpi: an Higher-Order Logic Programming language with Cut2025
Pré-publication, Document de travail
hal-05026472
v2
|
|
Higher-Order unification for free!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
|
|
A new Type-Class solver for Coq in ElpiThe Coq Workshop 2023, Jul 2023, Białystok, Poland
Communication dans un congrès
hal-04467855
v1
|
Chargement...
Chargement...