Among many interesting works, the POPL 2016 papers have a bunch of nice articles on Gradual Typing. The Gradualizer: a methodology and algorithm for generating gradual type systems The Gradualizer: a methodology and algorithm for generating gradual type systems by Matteo Cimini, Jeremy Siek 2016 Many languages are beginning to integrate dynamic and static typing. Siek and Taha offered gradual typi