Compositional Quantum Control Flow with Efficient Compilation in Qunity. - Mikhail Mints; Finn Voichick; Leonidas Lampropoulos; Robert Rand 001 (CoRR, 2025)