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
368
4
views
downloads
All versions This version
Views 36874
Downloads 42
Data volume 34.9 MB17.5 MB
Unique views 27855
Unique downloads 42
More info on how stats are collected.
Available in Indexed in
Publication date:
November 9, 2021
DOI:
10.5281/zenodo.5661975

Zenodo DOI Badge

DOI 

10.5281/zenodo.5661975

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5661975.svg)](https://doi.org/10.5281/zenodo.5661975)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5661975.svg
   :target: https://doi.org/10.5281/zenodo.5661975

HTML 

<a href="https://doi.org/10.5281/zenodo.5661975"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5661975.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5661975.svg

Target URL 

https://doi.org/10.5281/zenodo.5661975

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version V8.12+sized-jfp 10.5281/zenodo.5661975 Nov 9, 2021
Version V8.12+sized 10.5281/zenodo.3937941 Jul 10, 2020
Version V8.12+sized 10.5281/zenodo.3934886 Jul 7, 2020
Version V8.12+sized 10.5281/zenodo.3934880 Jul 7, 2020
Version v0.1.0 10.5281/zenodo.3516517 Oct 23, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3516516. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export