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

Share

Cite as