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 ]

It is also available at the ACM Digital Library: https://doi.org/10.1145/3462298

Files (1.7 GB)
Name Size
DistributingTypes.zip
md5:aece699f1e35d202728ff17b77552a7c
1.7 GB Download
191
11
views
downloads
All versions This version
Views 191105
Downloads 116
Data volume 16.5 GB9.9 GB
Unique views 13983
Unique downloads 116

Share

Cite as