Title resolution pending

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster · 2024 · Proceedings of the ACM on Programming Languages · DOI 10.1145/3656430

1 Pith paper cite this work, alongside 3 external citations. Polarity classification is still indexing.

1 Pith paper citing it

3 external citations · OpenAlex

open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Qoreo: Choreographic Programming for Quantum Distributed Systems

quant-ph · 2026-07-22 · conditional · novelty 7.0

Qoreo introduces a linearly-typed choreographic language for distributed quantum protocols whose endpoint projection is proved sound, complete, and deadlock-free in Rocq.

citing papers explorer

Showing 1 of 1 citing paper.

Qoreo: Choreographic Programming for Quantum Distributed Systems quant-ph · 2026-07-22 · conditional · none · ref 2
Qoreo introduces a linearly-typed choreographic language for distributed quantum protocols whose endpoint projection is proved sound, complete, and deadlock-free in Rocq.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer