Published January 14, 2023
| Version v1
Conference paper
Open
A Type-Based Approach to Divide-And-Conquer Recursion in Coq
Authors/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.