Software Open Access

Distributing Intersection and Union Types with Splits and Duality (Artifact)

Xuejing Huang; Bruno C. d. S. Oliveira

This is the artifact for the following paper:

Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)

[ ICFP'21 ]

Files (1.7 GB)
Name Size
DistributingTypes.zip
md5:aece699f1e35d202728ff17b77552a7c 		1.7 GB Download
56
5
views
downloads
All versions This version
Views 5614
Downloads 50
Data volume 6.6 GB0 Bytes
Unique views 4510
Unique downloads 50
More info on how stats are collected.
Indexed in
Publication date:
May 20, 2021
DOI:
10.5281/zenodo.5099711

Zenodo DOI Badge

DOI 

10.5281/zenodo.5099711

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Related identifiers:
Supplement to
License (for files):
GNU General Public License v3.0 or later

Versions

Version 3 10.5281/zenodo.5099711 May 20, 2021
Version 2 10.5281/zenodo.4777665 May 20, 2021
Version 1 10.5281/zenodo.4777136 May 20, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4777135. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export