Publications

Export 1 results:
Author [ Title(Asc)] Type Year
Filters: Author is Tao, Runzhou  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
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.