Published August 30, 2024
| Version v2
Software
Open
Full Iso-recursive Types (Artifact)
Description
This is the artifact of the OOPSLA'24 research paper: Full Iso-recursive Types.
Files
Files
(574.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3ec110db77a1bac601208e9bd5e3862d
|
574.5 MB | Download |
Additional details
Software
- Programming language
- Coq