Published November 12, 2024
| Version v2
Software
Open
Bidirectional Higher-Rank Polymorphism with Intersection and Union Types (Artifact)
Files
README.md
Files
(6.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f8b73140678221121d6ec74bb301d315
|
3.2 GB | Preview Download |
|
md5:3c41761211d498b72f4475d6c3f7c1f6
|
3.3 GB | Preview Download |
|
md5:0920dea68b82ca20e9682f3ed8f5be24
|
18.6 kB | Download |
|
md5:83cfc892076c14d5ad06d53d7aad7597
|
1.2 MB | Preview Download |
|
md5:50b40394ed28d94673576cd1c5a375e4
|
15.8 kB | Preview Download |
|
md5:af63f5fb736c75690edf8730a5f84c4b
|
535.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: 10.1145/3704907 (DOI)