Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
2015 SIGPLAN notices  
doi:10.1145/2775051.2676971 fatcat:osdqmehnrza2lldysmomf3n5ui