Gradual typing embedded securely in JavaScript.
Gradual typing embedded securely in JavaScript.
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman
01 September 2014
Venue : POPL
External Link: https://doi.org/10.1145/2535838.2535889