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…