Software Open Access

How to Take the Inverse of a Type (Artifact)

Daniel Marshall; Dominic Orchard

Artifact for the pearl of the same title that appears at ECOOP 2022. Includes code examples in both Haskell and Granule. See ECOOP2022_AE_Submission_Document.md for more information.

This work is supported by an EPSRC Doctoral Training Award (Marshall) and EPSRC grant EP/T013516/1 (Verifying Resource-like Data Use in Programs via Types).
Files (1.3 GB)
Name Size
ECOOP2022_AE_Submission_Document.md
md5:76207d3381dcdd48541d0d7ebf39dd91 		6.0 kB Download
ecoop22-paper13-artifact.tar.gz
md5:b187f849e170e11fee955643a722add1 		1.3 GB Download
80
9
views
downloads
All versions This version
Views 8080
Downloads 99
Data volume 7.7 GB7.7 GB
Unique views 7070
Unique downloads 66
More info on how stats are collected.
Indexed in
Publication date:
February 25, 2022
DOI:
10.5281/zenodo.6275281

Zenodo DOI Badge

DOI 

10.5281/zenodo.6275281

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6275281.svg)](https://doi.org/10.5281/zenodo.6275281)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6275281.svg
   :target: https://doi.org/10.5281/zenodo.6275281

HTML 

<a href="https://doi.org/10.5281/zenodo.6275281"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6275281.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6275281.svg

Target URL 

https://doi.org/10.5281/zenodo.6275281

Keyword(s):
linear types regular types algebra of programming derivatives
License (for files):
Other (Open)

Versions

Version 1 10.5281/zenodo.6275281 Feb 25, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6275280. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export