Published January 14, 2023 | Version v1
Conference paper Open

A Type-Based Approach to Divide-And-Conquer Recursion in Coq

  • 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