Published May 30, 2023
| Version v6
Journal article
Open
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
Description
Artifact for paper "Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc". ICFP 2023.
Files
Debugging.md
Files
(12.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c9253bc01bde7a600ee781847af6f7bf
|
3.2 kB | Preview Download |
|
md5:02c2c56f87276ee0e7099507d4aa783a
|
12.8 GB | Download |
|
md5:6cb8203be8fcb833f9f99093078e26a9
|
854 Bytes | Download |
|
md5:66a8381ea094fbaf8ff671e87db37e48
|
39.0 kB | Download |
|
md5:570d1386af1e2c58339d6e464ec4bcbb
|
23.3 kB | Preview Download |
|
md5:7eb3408d4b38dddb6528984303104690
|
12.3 MB | Download |
|
md5:d6fa2a5800927f7b1e266c95c559ef01
|
889 Bytes | Download |
|
md5:72523188e0634a523e7f90e7988e90c7
|
2.1 kB | Download |