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

doi:10.5281/zenodo.4116352

There is a newer version of the record available.

Published October 6, 2020 | Version v3

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

505

Views

Downloads

Show more details

	All versions	This version
Views	505	35
Downloads	66	2
Data volume	143.8 MB	4.3 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 21, 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)