A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
2021
Electronic Proceedings in Theoretical Computer Science
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and backward semantics. We investigate the formal semantics of the reversible functional programming language Rfun. For this purpose we introduce join inverse rig categories, the natural marriage of join inverse categories and rig categories, which we show can be used to model the language Rfun, under reasonable
doi:10.4204/eptcs.351.10
fatcat:qhkblcncafd5dnolwfchgm46ry