Követés
Yaoda Zhou
Yaoda Zhou
The University of Hong Kong
E-mail megerősítve itt: connect.hku.hk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Revisiting Iso-Recursive Subtyping
Y Zhou, J Zhao, BCS Oliveira
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022
152022
Recursive Subtyping for All
L Zhou, Y Zhou, BCS Oliveira
Proceedings of the ACM on Programming Languages 7 (POPL), 1396-1425, 2023
132023
iRegNet3D: three-dimensional integrated regulatory network for the genomic analysis of coding and non-coding disease mutations
S Liang, ND Tippens, Y Zhou, M Mort, PD Stenson, DN Cooper, H Yu
Genome biology 18, 1-16, 2017
102017
A Calculus with Recursive Types, Record Concatenation and Subtyping
Y Zhou, BCS Oliveira, A Fan
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022 …, 2022
62022
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–4