Skip to content

Practical Sized Typing for Coq (POPL 2021)

Pre-release
Pre-release
Compare
Choose a tag to compare
@ionathanch ionathanch released this 10 Jul 04:16
· 26 commits to dev since this release
V8.12+sized
d79f8de

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).

Assets 2