There is a newer version of this record available.

Software Open Access

ionathanch/coq: Practical Sized Typing for Coq (CPP 2020)

The Coq Developement Team; Chan, Jonathan

This is part of the supplementary materials of the initial submission to CPP 2020 for Practical Sized Typing for Coq.

Files (8.3 MB)
Name Size
ionathanch/coq-v0.1.0.zip
md5:e7aefa5691179e04379ade83445b3b76 		8.3 MB Download
199
0
views
downloads
All versions This version
Views 199105
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 16789
Unique downloads 00
More info on how stats are collected.
Available in Indexed in
Publication date:
October 23, 2019
DOI:
10.5281/zenodo.3516517

Zenodo DOI Badge

DOI 

10.5281/zenodo.3516517

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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

Versions

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