Published August 30, 2024 | Version v2
Software Open

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

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:f9c1a8edc9c6657754664f022d66a3be
1.6 MB Preview Download
md5:e1c7f65b011f6cb718afeb708e1f8566
4.8 GB Download

Additional details

Related works

Is described by
Journal article: 10.1145/3689750 (DOI)

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