Gradual Sensitivity Typing: Combining Static and Dynamic Checking for Function Sensitivity

Gradual sensitivity typing allows programmers to smoothly evolve typed programs without any static sensitivity information towards hardened programs with a mix of static and dynamic sensitivity checking.