TY - RPRT TI - A Case for Synthesis of Recursive Quantum Unitary Programs AU - Haowei Deng AU - Runzhou Tao AU - Yuxiang Peng AU - Xiaodi Wu PY - 2023 DO - 10.1145/3632901 UR - https://arxiv.org/abs/2311.11503 ID - 2311.11503 ER -