Software Open Access
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
Name | Size | |
---|---|---|
DistributingTypes.zip
md5:aece699f1e35d202728ff17b77552a7c |
1.7 GB | Download |
All versions | This version | |
---|---|---|
Views | 191 | 105 |
Downloads | 11 | 6 |
Data volume | 16.5 GB | 9.9 GB |
Unique views | 139 | 83 |
Unique downloads | 11 | 6 |