Links:
- Fusion for Free: Efficient Algebraic Effect Handlers
- Beauty in the Beast: A Functional Semantics for the Awkward Squad
- Beautiful Concurrency
- Finally Tagless, Partially Evaluated
- Data Types à la Carte
- What is an indexed monad?
- From zero to cooperating threads in 33 lines of Haskell code
- Working out the details of a type indexed free monad
- Composing Monads Using Coproducts