1. Gradual typing with union and intersection types;Castagna,2017
2. Set-theoretic types for polymorphic variants;Castagna,2016
3. The gradualizer: a methodology and algorithm for generating gradual type systems;Cimini;ACM SIGPLAN Notices,2016
4. Formal language, grammar and set-constraint-based program analysis by abstract interpretation;Cousot,1995
5. Gradual information flow typing;Disney,2011