9 citations · 9 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Runners in action
Danel Ahman, Andrej Bauer
Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top…
cs.PL2019
Dijkstra Monads for All
Kenji Maillard, Danel Ahman, Robert Atkey +4
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…