Published September 13, 2021 | Version v1
Software Open

[OOPSLA 2021 Artifact] Compiling With Continuations, Correctly

Authors/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
md5:56d1dc563d6cd4890ce96aa43d1cd0a2
23.8 MB Preview Download
md5:00417a3edfe80a169f476dd831687b61
100.0 kB Preview Download