LiquidEff: Algebraic Foundations for Liquid Effects

Project Information

LiquidEff

Grant agreement ID: 834146

DOI

10.3030/834146

Project closed

EC signature date 10 April 2019

Start date 1 October 2019

End date 30 September 2021

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 150 040,32

EU contribution

€ 150 040,32

Coordinated by

UNIVERZA V LJUBLJANI
Slovenia

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (1)

Runners in Action

Author(s): Danel Ahman, Andrej Bauer
Published 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, Issue 12075, 2020, Page(s) 29-55, ISBN 978-3-030-44913-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-44914-8_2

Peer reviewed articles (2)

Asynchronous effects

Author(s): Danel Ahman, Matija Pretnar
Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-28, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3434305

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

Author(s): Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Published in: Proceedings of the ACM on Programming Languages, Issue 4/ICFP, 2020, Page(s) 1-30, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3409003