Published May 20, 2021
| Version v3
Software
Open
Distributing Intersection and Union Types with Splits and Duality (Artifact)
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)