1. Research
  2. Publications

Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Tao, Runzhou  [Clear All Filters]
Journal Article
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.