Skip to main content
European Commission logo print header

LiquidEff: Algebraic Foundations for Liquid Effects

Publications

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

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available