Published June 30, 2020 | Version v1
Dataset Open

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

Creators

  • 1. Chalmers University of Technology

Description

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

Files

benchmark-tyde2020.csv

Files (242.0 kB)

Name Size Download all
md5:3fae4328f5efe2e69df890896ad32711
236.8 kB Preview Download
md5:b86677085b09ddd6c0df30314dee77b5
5.2 kB Download