Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Software Open Access

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations (Artifact)

Han Xu; Xuejing Huang; Bruno C. d. S. Oliveira

This is the artifact for the following paper:

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations

[ POPL'23 ]

Files (1.2 GB)
Name Size
code.zip
md5:22abfdcdf40c79407194283e9b4e4bae 		197.8 kB Download
Full-version-with-appendix.pdf
md5:f5e5e946190a4c42e6d6a728ef763060 		681.8 kB Download
README.md
md5:d16a6e917907e48d3aa99e56018cd5a3 		29.8 kB Download
type-diff-vm.tar.xz
md5:6e6981efbc8135907aefda66b4f2b859 		1.2 GB Download
329
98
views
downloads
All versions This version
Views 329148
Downloads 9881
Data volume 39.2 GB6.0 GB
Unique views 229115
Unique downloads 7359
More info on how stats are collected.
Indexed in
Publication date:
December 22, 2022
DOI:
10.5281/zenodo.7472859

Zenodo DOI Badge

DOI 

10.5281/zenodo.7472859

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
GNU Affero General Public License v3.0 or later

Versions

Version 3 10.5281/zenodo.7472859 Dec 22, 2022
Version 2 10.5281/zenodo.7151933 Oct 6, 2022
Version 1 10.5281/zenodo.7151419 Oct 6, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7151418. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export