Software Open Access

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

The Coq Development Team; Jonathan Chan

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 (8.7 MB)
Name Size
ionathanch/coq-V8.12+sized-jfp.zip
md5:14b0cb8546da94e40d94b46eada8aefb
8.7 MB Download
388
4
views
downloads
All versions This version
Views 38892
Downloads 42
Data volume 34.9 MB17.5 MB
Unique views 29873
Unique downloads 42

Share

Cite as