Reversible Monadic Computing
Work
Year: 2015
Type: article
Abstract: We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order exp... more
Authors Chris Heunen, Martti Karvonen
Institutions University of Oxford, Aalto University
Cites: 65
Cited by: 7
Related to: 10
FWCI: 0.516
Citation percentile (by year/subfield): 71.17
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold