3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and grade…