Published September 11, 2022
| Version v1
Software
Open
3CPS Artifacts ICFP 2022
Authors/Creators
- 1. University of Maryland
- 2. University of Chicago
- 3. Northeastern University
Description
The 3CPS artifacts (compiler implementation and proofs) for the related ICFP2022 paper.
Files
README.md
Files
(5.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:fe22c299603f17566e1b6467a7599952
|
785.1 kB | Download |
|
md5:45c6d5f90b110e6f77e603ea1b0980d0
|
5.6 GB | Download |
|
md5:17ac7ba0f1d0e0e0401e56ec65512b2c
|
3.7 kB | Preview Download |
|
md5:4df4fff6c07a19cab48fa4b6916fdd56
|
889 Bytes | Download |
|
md5:06c2647d479a01cc1d4528c925099ddb
|
1.8 kB | Download |