Published August 30, 2024
| Version v2
Software
Open
Artifact associated with "Effects and Co-effects in Call-By-Push-Value"
Creators
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