Published May 20, 2021
| Version v1
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.zip
Files
(75.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d3f64447f5332e69485c04df2bb7dd83
|
75.8 kB | Preview Download |