2024
Static Blame for gradual typing.
[DOI]
Chenghao Su
,
Lin Chen
,
Yanhui Li
,
Yuming Zhou
J. Funct. Program., 2024

2023
How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python.
[DOI]
Wenjie Xu
,
Lin Chen
,
Chenghao Su
,
Yimeng Guo
,
Yanhui Li
,
Yuming Zhou
,
Baowen Xu
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023