Safe & Efficient Gradual Typing for TypeScript

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15  
doi:10.1145/2676726.2676971 dblp:conf/popl/RastogiSFBV15 fatcat:memljtt7fvd5lkn4sqic7p7nzy