84 citations · 260 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Localisable Monads
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…
cs.LO2018
Reversible effects as inverse arrows
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible computing models settings in which all processes can be reversed. Applications include low-power computing, quantum computing, and robotics. It is unclear how to represe…