TY  - RPRT
TI  - Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
AU  - Senxi Li
AU  - Feng Dai
AU  - Tetsuro Yamazaki
AU  - Shigeru Chiba
PY  - 2026
DO  - 10.22152/programming-journal.org/2026/11/3
UR  - https://arxiv.org/abs/2603.05649
ID  - 2603.05649
ER  -