Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing

Senxi Li, Feng Dai, Tetsuro Yamazaki +1

Gradual typing has gained popularity as a design choice for integrating static and dynamic typing within a single language. Several practical languages have adopted gradual typing…