Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published October 23, 2019 | Version v0.1.0
Software Open

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

  • 1. INRIA
  • 2. University of British Columbia

Description

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

Files

ionathanch/coq-v0.1.0.zip

Files (8.3 MB)

Name Size Download all
md5:e7aefa5691179e04379ade83445b3b76
8.3 MB Preview Download

Additional details

Related works