Software Open Access
ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)
The Coq Development Team;
Chan, Jonathan
This is the release for the anonymous supplementary materials for the initial submission of Practical Sized Typing for Coq to POPL 2021.
Note that we do not rebase past ce500b3 because commits 3358163 (case inversion for SProp) and 8907a5b (primitive arrays) introduce large changes to the core construction (Constr.constr).
Files
(8.7 MB)
| Name | Size | |
|---|---|---|
|
ionathanch/coq-V8.12+sized.zip
md5:d82f09f64a8bceb18a21e121e3078744 |
8.7 MB | Download |
333
4
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 333 | 95 |
| Downloads | 4 | 2 |
| Data volume | 34.9 MB | 17.4 MB |
| Unique views | 267 | 91 |
| Unique downloads | 4 | 2 |
Available in
Indexed in
Indexed in
- Publication date:
- July 10, 2020
- DOI:
-
- Related identifiers:
- Supplement to
- License (for files):
- Other (Open)