Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

LiquidEff: Algebraic Foundations for Liquid Effects

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

Runners in Action (se abrirá en una nueva ventana)

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

Asynchronous effects (se abrirá en una nueva ventana)

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

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs (se abrirá en una nueva ventana)

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

Mi folleto 0 0