Published November 9, 2021 | Version V8.12+sized-jfp
Software Open

ionathanch/coq: Is Sized Typing for Coq Practical? (JFP)

Creators

  • 1. INRIA
  • 2. University of British Columbia

Description

This is the release for the supplementary materials for the submission of Is Sized Typing for Coq Practical? to the Journal of Functional Programming (JFP).

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-jfp.zip

Files (8.7 MB)

Name Size Download all
md5:14b0cb8546da94e40d94b46eada8aefb
8.7 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/ionathanch/coq/tree/V8.12+sized-jfp (URL)