1 code implementation • 4 Mar 2020 • Danel Ahman, Matija Pretnar
We investigate asynchronous programming in the context of algebraic effects.
Programming Languages
1 code implementation • 25 Oct 2019 • Danel Ahman, Andrej Bauer
Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management.
Programming Languages
1 code implementation • 4 Mar 2019 • Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martinez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad.
Programming Languages
no code implementations • 8 Jul 2017 • Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
We provide a way to ease the verification of programs whose state evolves monotonically.
Programming Languages Cryptography and Security
1 code implementation • 5 Apr 2016 • Danel Ahman, Tarmo Uustalu
Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure.
Logic in Computer Science Programming Languages Category Theory F.3.2
