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 .
Publications
Auteurs:
Szumi Xie, Viktor Bense
Publié dans:
Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development, 2025
Éditeur:
ACM
DOI:
10.1145/3759538.3759654
Auteurs:
Ambrus Kaposi, Loïc Pujet
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 9, 2025, ISSN 2475-1421
Éditeur:
Association for Computing Machinery (ACM)
DOI:
10.1145/3747535
Auteurs:
Ambrus Kaposi, Szumi Xie
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 431, 2025, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/EPTCS.431.4
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible