Safe & Efficient Gradual Typing for TypeScript.
Safe & Efficient Gradual Typing for TypeScript.
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris
01 September 2015
Venue : POPL
External Link: https://doi.org/10.1145/2676726.2676971