Published November 7, 2024
| Version v3
Software
Open
Bidirectional Higher-Rank Polymorphism with Intersection and Union Types (Artifact)
Files
README.md
Files
(6.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5a1f8193ce2f5741dd2f4aab9b9ed754
|
3.2 GB | Preview Download |
|
md5:6e260dc1a5806aafea17fb701a05c717
|
3.3 GB | Preview Download |
|
md5:0920dea68b82ca20e9682f3ed8f5be24
|
18.6 kB | Download |
|
md5:8c3d3a1b4503b6f27c5140fcaa521ec7
|
831.7 kB | Preview Download |
|
md5:06e4947129ee676e74eda1e9954b9e27
|
14.3 kB | Preview Download |
|
md5:3d947fcc7f8fee1e23a3ea04a48f0688
|
543.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: 10.1145/3704907 (DOI)