European Commission logo
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

LiquidEff: Algebraic Foundations for Liquid Effects

Pubblicazioni

Runners in Action

Autori: Danel Ahman, Andrej Bauer
Pubblicato 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, Numero 12075, 2020, Pagina/e 29-55, ISBN 978-3-030-44913-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-44914-8_2

Asynchronous effects

Autori: Danel Ahman, Matija Pretnar
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-28, ISSN 2475-1421
Editore: Association for Computing Machinery
DOI: 10.1145/3434305

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Autori: Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 4/ICFP, 2020, Pagina/e 1-30, ISSN 2475-1421
Editore: Association for Computing Machinery
DOI: 10.1145/3409003

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile