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 |