Software Open Access

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

Xuejing Huang; Bruno C. d. S. Oliveira

This is the artifact for the following paper:

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

[ ICFP'21 ]

Files (1.7 GB)
Name Size
DistributingTypes.zip
md5:aece699f1e35d202728ff17b77552a7c
1.7 GB Download
96
9
views
downloads
All versions This version
Views 9640
Downloads 94
Data volume 13.2 GB6.6 GB
Unique views 6729
Unique downloads 94

Share

Cite as