CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Danel Ahman, Andrej Bauer
Veröffentlicht in:
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, Ausgabe 12075, 2020, Seite(n) 29-55, ISBN 978-3-030-44913-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-44914-8_2
Autoren:
Danel Ahman, Matija Pretnar
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 5/POPL, 2021, Seite(n) 1-28, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3434305
Autoren:
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/ICFP, 2020, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3409003
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor