Published August 8, 2025
| Version v6
Other
Open
Choreographic Quick Changes Rocq Proofs
Authors/Creators
-
1.
University of Wisconsin-Madison
-
2.
University at Buffalo
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.
Files
Files
(309.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3989dee5837f7edc7b6f1c28fca79d6f
|
309.8 kB | Download |