CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
Data management plan
Publications
Auteurs:
Cohen, Cyril; Crance Enzo; Mahboubi, Assia
Publié dans:
Programming Languages and Systems. ESOP 2024, 2024
Éditeur:
Springer
DOI:
10.1007/978-3-031-57262-3_11
Auteurs:
Mahboubi, Assia; Piquerez, Matthieu
Publié dans:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)., 2024
Éditeur:
Leibniz International Proceedings in Informatics
DOI:
10.4230/lipics.csl.2024.38
Auteurs:
Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Publié dans:
Programming Languages and Systems. ESOP 2024, Numéro 14576, 2024, ISBN 978-3-031-57262-3
Éditeur:
Springer
DOI:
10.1007/978-3-031-57262-3_10
Auteurs:
Moreau, Josué; Melquiond, Guillaume
Publié dans:
ICFP '24: ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM on Programing Langages, 2024
Éditeur:
Association for Computing Machinery
Auteurs:
Guillemet, Benoît; Mahboubi, Assia; Piquerez, Matthieu
Publié dans:
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 2024, Page(s) 7:1-7:19
Éditeur:
Leibniz International Proceedings in Informatics
Auteurs:
Mahboubi, Assia; Melquiond, Guillaume
Publié dans:
TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3, 2023
Éditeur:
Universitat Politècnica de València
Auteurs:
Martin-Dorel, Érik; Melquiond, Guillaume; Roux, Pierre
Publié dans:
Journal of Automated Reasoning, 2023, ISSN 0168-7433
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10817-023-09679-x
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible