Runzhou Tao

Deng, H. ., Tao, R. ., Peng, Y. ., & Wu, X. . (2024). A Case for Synthesis of Recursive Quantum Unitary Programs. Proceedings of the ACM on Programming Languages, 8, 1759–1788. http://doi.org/10.1145/3632901 (Original work published January 2024)