1. Blame for all;Ahmed,2011
2. Theorems for free for free: parametricity, with and without types;Ahmed,2017
3. Gradual program verification;Bader,2018
4. A theory of gradual effect systems;Bañados Schwerter,2014
5. Gradual type-and-effect systems;Bañados Schwerter;J. Funct. Program.,2016