[PLanQC'24] Effect Semantics for Quantum Protocols | ACM SIGPLAN | Podwise