[PLDI24] An Algebraic Language for Specifying Quantum Networks | ACM SIGPLAN | Podwise