Published January 14, 2023
| Version v1
Conference paper
Open
A Type-Based Approach to Divide-And-Conquer Recursion in Coq
Creators
- 1. Purdue University
- 2. The University of Iowa
Description
Artifact for paper "A Type-Based Approach to Divide-And-Conquer Recursion in Coq". To appear in POPL'23.
Files
DCArtifact_popl2023.zip
Files
(1.1 MB)
Name | Size | Download all |
---|---|---|
md5:9d64b3c69d8c23839c0ff84fe699ecd6
|
1.1 MB | Preview Download |