| Title: |
Choreographic Quick Changes Rocq Proofs |
| Authors: |
Samuelson, Ashley; Cecchetti, Ethan; Hirsch, Andrew |
| Publisher Information: |
Zenodo |
| Publication Year: |
2025 |
| Collection: |
Zenodo |
| Description: |
This tarball contains the Rocq proofs for the paper Choreographic Quick Changes: First-Class Location (Set) Polymorphism, published at OOPSLA 2025, authored by Ashley Samuelson, Andrew K. Hirsch, and Ethan Cecchetti. |
| Document Type: |
other/unknown material |
| Language: |
unknown |
| Relation: |
https://zenodo.org/records/16783266; oai:zenodo.org:16783266; https://doi.org/10.5281/zenodo.16783266 |
| DOI: |
10.5281/zenodo.16783266 |
| Availability: |
https://doi.org/10.5281/zenodo.16783266; https://zenodo.org/records/16783266 |
| Rights: |
MIT License ; mit ; https://opensource.org/licenses/MIT ; Ashley Samuelson, Andrew K. Hirsch, and Ethan Cecchetti, 2025 |
| Accession Number: |
edsbas.B571B824 |
| Database: |
BASE |