There is a newer version of the record available.

Published October 6, 2020 | Version v9
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:cc6677622ff1be77b71e8b5c889df505
2.2 MB Preview Download