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

Chen, Chao-Hong; Sabry, Amr

doi:10.5281/zenodo.4453386

Published October 6, 2020 | Version v10

Software Open

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

1. Indiana University

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
popl21-artifact-main.zip md5:ece9724fe3b14775fb6a0d5615b9e797	2.2 MB	Preview Download

699

Views

137

Downloads

Show more details

	All versions	This version
Views	699	151
Downloads	137	32
Data volume	298.6 MB	71.4 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

Symposium on Principles of Programming Languages (POPL) , 2021

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: January 20, 2021
Modified: January 21, 2021

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

Authors/Creators

Description

Files

popl21-artifact-main.zip

Files (2.2 MB)