Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published July 7, 2020 | Version V8.12+sized
Software Open

ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)

  • 1. INRIA
  • 2. University of British Columbia

Description

This is the release for the anonymous supplementary materials for the initial submission of Practical Sized Typing for Coq to POPL 2021.

Note that we do not rebase past ce500b3 because commits 3358163 (case inversion for SProp) and 8907a5b (primitive arrays) introduce large changes to the core construction (Constr.constr).

Files

ionathanch/coq-V8.12+sized.zip

Files (8.7 MB)

Name Size Download all
md5:8b7208ef893cd7381221554edb9f4e0d
8.7 MB Preview Download

Additional details

Related works