Dataset Open Access

Benchmark data for "Practical Dependent Type Checking Using Twin Types"

Víctor López Juan

Benchmark data and R code for "Practical Dependent Type Checking Using Twin Types".

Files (242.0 kB)
Name Size
benchmark-tyde2020.csv
md5:3fae4328f5efe2e69df890896ad32711 		236.8 kB Download
evaluation-tyde2020.Rmarkdown
md5:b86677085b09ddd6c0df30314dee77b5 		5.2 kB Download
20
3
views
downloads
All versions This version
Views 2020
Downloads 33
Data volume 478.8 kB478.8 kB
Unique views 1616
Unique downloads 22
More info on how stats are collected.
Indexed in
Publication date:
June 30, 2020
DOI:
10.5281/zenodo.3924268

Zenodo DOI Badge

DOI 

10.5281/zenodo.3924268

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3924268 Jun 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3924267. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export