There is a newer version of the record available.

Published June 24, 2025 | Version v1
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.6 kB)

Name Size Download all
md5:2e6edac3292ef784831c8314c8a07e34
305.6 kB Download