A relations-first quantum programming language — causal structure as a type-level primitive. Switch(d) programs are provably causally nonseparable, hardware-verified on Quandela's photonic QPU.
python quantum-computing quantum-programming-language entanglement mbqc photonic-quantum-computing measurement-based-quantum-computing quantum-causality
-
Updated
Sep 21, 2026 - Python