Published June 20, 2025
| Version 2
Software
Artifact for "Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages"
Creators
Description
Rocq proofs and evaluation code for the ICFP 2025 paper submission "Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages".
Notes
The 3CPS project is led by John Reppy (University of Chicago) and Olin Shivers (Northeastern University).
Additional details
Identifiers
- DOI
- 10.5281/zenodo.15708994
- Other
- oai:uchicago.tind.io:16323
Related works
- Is cited by
- 10.1145/3747516 (DOI)
- Is supplemented by
- 10.5281/zenodo.15708994 (DOI)
Funding
- National Science Foundation
- 2212537
- National Science Foundation
- 221253