LiquidEff: Algebraic Foundations for Liquid Effects

Informazioni relative al progetto

LiquidEff

ID dell’accordo di sovvenzione: 834146

DOI

10.3030/834146

Progetto chiuso

Data della firma CE 10 Aprile 2019

Data di avvio 1 Ottobre 2019

Data di completamento 30 Settembre 2021

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 150 040,32

Contributo UE

€ 150 040,32

Coordinato da

UNIVERZA V LJUBLJANI
Slovenia

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

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

Peer reviewed articles (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