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 ]

It is also available at the ACM Digital Library: https://doi.org/10.1145/3462298

Files (1.7 GB)
Name Size
DistributingTypes.zip
md5:aece699f1e35d202728ff17b77552a7c 		1.7 GB Download
191
11
views
downloads
All versions This version
Views 191105
Downloads 116
Data volume 16.5 GB9.9 GB
Unique views 13983
Unique downloads 116
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