Published October 25, 2023
| Version 1.1.0
Software
Open
The Essence of Generalized Algebraic Data Types
- 1. Heriot-Watt University
- 2. Aarhus University
- 3. University of Cambridge
Description
Coq mechanization supplement for The Essence of Generalized Algebraic Data Types paper.
Files
Files
(573.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:80fdb003e2f042a879e10d9cb6c2ed63
|
573.4 kB | Download |