Implementing Algebraic Effects in C - "Monads for Free in C"
No abstract available.
Related papers
- Algebras for weighted search ICFP 2021
- Generalized monoidal effects and handlers JFP 2020
- Backtracking with cut via a distributive law and left-zero monoids JFP 2017
- A graded Monad for deadlock-free concurrency (functional pearl) Haskell 2020
- Dijkstra monads for free POPL 2017
- Programming and reasoning with algebraic effects and dependent types ICFP 2013
- Dijkstra monads forever: termination-sensitive specifications for interaction trees POPL 2021
- A model of cooperative threads POPL 2009