A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types

Chao-Hong Chen & Amr Sabry
The artifact for POPL 2021 paper: A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.