Gradual Typing

Gradual typing is a type system proposed by Siek and Taha, which enables the coexistence of static typing and dynamic typing within a single type system. This research topic is being studied by Tanabe in collaboration with Kyoto University and NII.