There is a newer version of the record available.

Published June 25, 2025 | Version v3
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 (307.2 kB)

Name Size Download all
md5:02c47f54f0146409d28fc60983b8dc09
307.2 kB Download