Davide Fissore
100
%
Libre accès
3
Documents
Identifiants chercheurs
Publications
Publications
|
|
Determinacy Checking for Elpi: an Higher-Order Logic Programming language with CutPADL 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⟩ |
|
|
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⟩ |
|
|
A new Type-Class solver for Coq in ElpiThe Coq Workshop 2023, Jul 2023, Białystok, Poland |
Chargement...
Chargement...