CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Szumi Xie, Viktor Bense
Opublikowane w:
Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development, 2025
Wydawca:
ACM
DOI:
10.1145/3759538.3759654
Autorzy:
Ambrus Kaposi, Loïc Pujet
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 9, 2025, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3747535
Autorzy:
Ambrus Kaposi, Szumi Xie
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 431, 2025, ISSN 2075-2180
Wydawca:
Open Publishing Association
DOI:
10.4204/EPTCS.431.4
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników