LiquidEff: Algebraic Foundations for Liquid Effects

Informations projet

LiquidEff

N° de convention de subvention: 834146

DOI

10.3030/834146

Projet clôturé

Date de signature de la CE 10 Avril 2019

Date de début 1 Octobre 2019

Date de fin 30 Septembre 2021

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 150 040,32

Contribution de l’UE

€ 150 040,32

Coordonné par

UNIVERZA V LJUBLJANI
Slovenia

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (1)

Runners in Action

Auteurs: Danel Ahman, Andrej Bauer
Publié dans: 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, Numéro 12075, 2020, Page(s) 29-55, ISBN 978-3-030-44913-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-44914-8_2

Peer reviewed articles (2)

Asynchronous effects

Auteurs: Danel Ahman, Matija Pretnar
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-28, ISSN 2475-1421
Éditeur: Association for Computing Machinery
DOI: 10.1145/3434305

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

Auteurs: Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 4/ICFP, 2020, Page(s) 1-30, ISSN 2475-1421
Éditeur: Association for Computing Machinery
DOI: 10.1145/3409003