1 code implementation • 13 Sep 2020 • Fangke Ye, Jisheng Zhao, Vivek Sarkar
As a result, there is a strong motivation for new approaches that can advance the state of the art in statically predicting types in dynamically typed programs, and that do so with acceptable performance for use in interactive programming environments.