Published September 13, 2021
| Version v1
Software
Open
[OOPSLA 2021 Artifact] Compiling With Continuations, Correctly
Creators
- 1. Northeastern University
- 2. University of Wisconsin–Madison
Description
Artifact for the OOPSLA 2021 paper "Compiling With Continuations, Correctly".
Files
certicoq.zip
Files
(23.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:56d1dc563d6cd4890ce96aa43d1cd0a2
|
23.8 MB | Preview Download |
|
md5:00417a3edfe80a169f476dd831687b61
|
100.0 kB | Preview Download |