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
333
4
views
downloads
All versions This version
Views 333123
Downloads 40
Data volume 34.9 MB0 Bytes
Unique views 267107
Unique downloads 40
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-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