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:
Danel Ahman, Andrej Bauer
Opublikowane w:
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Numer 12075, 2020, Strona(/y) 29-55, ISBN 978-3-030-44913-1
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-44914-8_2
Autorzy:
Danel Ahman, Matija Pretnar
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 5/POPL, 2021, Strona(/y) 1-28, ISSN 2475-1421
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3434305
Autorzy:
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 4/ICFP, 2020, Strona(/y) 1-30, ISSN 2475-1421
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3409003
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników