There is a newer version of the record available.

Published October 6, 2020 | Version v6
Software Open

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

Authors/Creators

  • 1. Indiana University

Description

The artifact for POPL 2021 paper: A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types.

Files

popl21-artifact-main.zip

Files (2.2 MB)

Name Size Download all
md5:f819a663f28174c5a25156bcede8811c
2.2 MB Preview Download