1. Research
  2. Publications

Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Tao, Runzhou  [Clear All Filters]
2024
H. Deng, Tao, R., Peng, Y., and Wu, X., “A Case for Synthesis of Recursive Quantum Unitary Programs”, Proceedings of the ACM on Programming Languages, vol. 8, pp. 1759–1788, 2024.