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
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