Planned intervention: On Thursday March 28th 07:00 UTC Zenodo will be unavailable for up to 5 minutes to perform a database upgrade.
Published May 20, 2021 | Version v3
Software Open

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

  • 1. The University of Hong Kong

Description

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

DistributingTypes.zip

Files (1.7 GB)

Name Size Download all
md5:aece699f1e35d202728ff17b77552a7c
1.7 GB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3473594 (DOI)