Cikkek nyilvánosan hozzáférhető megbízással - Yaoda ZhouTovábbi információ
Valahol hozzáférhető: 4
Revisiting Iso-Recursive Subtyping
Y Zhou, J Zhao, BCS Oliveira
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022
Megbízások: Research Grants Council, Hong Kong
Recursive Subtyping for All
L Zhou, Y Zhou, BCS Oliveira
Proceedings of the ACM on Programming Languages 7 (POPL), 1396-1425, 2023
Megbízások: Research Grants Council, Hong Kong
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
Megbízások: US National Institutes of Health
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
Megbízások: Research Grants Council, Hong Kong
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.