CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Danel Ahman, Andrej Bauer
Publicado en:
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, Edición 12075, 2020, Página(s) 29-55, ISBN 978-3-030-44913-1
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-44914-8_2
Autores:
Danel Ahman, Matija Pretnar
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 5/POPL, 2021, Página(s) 1-28, ISSN 2475-1421
Editor:
Association for Computing Machinery
DOI:
10.1145/3434305
Autores:
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 4/ICFP, 2020, Página(s) 1-30, ISSN 2475-1421
Editor:
Association for Computing Machinery
DOI:
10.1145/3409003
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles