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)

Software

Programming language
Coq, Haskell