Published June 6, 2024
| Version v1
Software
Open
ICFP 2024 artifact - "Closure-Free Functional Programming in a Two-Level Type Theory"
Creators
Files
Files
(3.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b3fe336bafe6f5d2b9a976ed52b6ab69
|
3.4 GB | Download |
|
md5:c63555671e7d9672d31f61c8f5a58462
|
36.0 kB | Download |