There is a newer version of the record available.

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