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
56
5
views
downloads
All versions This version
Views 5614
Downloads 50
Data volume 6.6 GB0 Bytes
Unique views 4510
Unique downloads 50

Share

Cite as