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

Chen, Chao-Hong; Sabry, Amr

doi:10.5281/zenodo.4136230

There is a newer version of the record available.

Published October 6, 2020 | Version v5

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:c0e4d40ab25f40ed4b6ad7688ed7f9b7	2.2 MB	Preview Download

529

Views

Downloads

Show more details

	All versions	This version
Views	529	35
Downloads	87	5
Data volume	189.6 MB	10.8 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

Symposium on Principles of Programming Languages (POPL) , 2021

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: October 26, 2020
Modified: January 20, 2021

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

Creators

Description

Files

popl21-artifact-main.zip

Files (2.2 MB)