There is a newer version of the record available.

Published June 24, 2025 | Version v2
Other Open

Choreographic Quick Changes Rocq Proofs

Authors/Creators

  • 1. EDMO icon University of Wisconsin-Madison
  • 2. EDMO icon 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 (305.8 kB)

Name Size Download all
md5:185afa76b1c54c5209cdfe19c71dfd7d
305.8 kB Download