关注
Litao Zhou
Litao Zhou
University of Hong Kong
在 cs.hku.hk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Recursive Subtyping for All
L Zhou, Y Zhou, BCS Oliveira
Proceedings of the ACM on Programming Languages 7 (POPL), 1396-1425, 2023
52023
VST-A: A Foundationally Sound Annotation Verifier
L Zhou, J Qin, Q Wang, AW Appel, Q Cao
Proceedings of the ACM on Programming Languages 8 (POPL), 2069-2098, 2024
32024
Foundationally Sound Annotation Verifier via Control Flow Splitting
L Zhou
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022
12022
Compositional Programming with Full Iso-recursive Types
L ZHOU
系统目前无法执行此操作，请稍后再试。
文章 1–4