There is a newer version of the record available.

Published July 4, 2024 | Version v1
Software Open

Artifact associated with "Effects and Co-effects in Call-By-Push-Value"

Creators

  • 1. ROR icon University of Pennsylvania
  • 2. ROR icon University of Michigan–Ann Arbor

Description

This artifact includes a VM image (disk.qcow2) and a zipped copy of all source files (cbpv-effects-coeffects.zip).  

See the file artifact-overview.md in the zipfile for instructions on how to run the virtual machine.  
This file is also available at: https://github.com/plclub/cbpv-effects-coeffects/blob/main/artifact-overview.md 

Files

cbpv-effects-coeffects.zip

Files (4.8 GB)

Name Size Download all
md5:ef2cdb7c7120832ce4a95858911b7cdc
2.3 MB Preview Download
md5:b3f207f86b9e3aaf14f78c874b63d8e2
4.8 GB Download

Additional details

Funding

U.S. National Science Foundation
SHF: SMALL:Dependency Tracking and Dependent Types 2327738
U.S. National Science Foundation
REU Site: Research Experience for undergraduates in Programming Languages (REPL) 2244494
U.S. National Science Foundation
SHF: Small: Mechanized reasoning for functional programs 2006535

Software

Repository URL
https://github.com/plclub/cbpv-effects-coeffects
Programming language
Coq