Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published May 20, 2021 | Version v2
Software Open

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

Creators

Description

This is the artifact for the following paper:

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

[ ICFP'21 ]

Files

DistributingTypes_artifact.zip

Files (1.7 GB)

Name Size Download all
md5:634bf3ec569a78aeceab55c73bbf22bf
1.7 GB Preview Download