Published August 30, 2024 | Version v2
Software Open

Full Iso-recursive Types (Artifact)

Authors/Creators

  • 1. ROR icon University of Hong Kong

Description

This is the artifact of the OOPSLA'24 research paper: Full Iso-recursive Types.

Files

Files (574.5 MB)

Name Size
md5:3ec110db77a1bac601208e9bd5e3862d
574.5 MB Download

Additional details

Software

Programming language
Coq