A. Bichhawat, V. Rajani, D. Garg, and C. Hammer, Information Flow Control in WebKit???s JavaScript Bytecode, 2014.
DOI : 10.1007/978-3-642-54792-8_9

D. Devriese and F. Piessens, Noninterference through Secure Multi-execution, 2010 IEEE Symposium on Security and Privacy, 2010.
DOI : 10.1109/SP.2010.15

T. Disney and C. Flanagan, Gradual information flow typing, STOP, 2011.

L. Fennell and P. Thiemann, Gradual Security Typing with References, 2013 IEEE 26th Computer Security Foundations Symposium, 2013.
DOI : 10.1109/CSF.2013.22

C. Flanagan, Hybrid type checking, POPL, 2006.

W. De-groef, D. Devriese, N. Nikiforakis, and F. Piessens, FlowFox, Proceedings of the 2012 ACM conference on Computer and communications security, CCS '12, 2012.
DOI : 10.1145/2382196.2382275

D. Hedin, A. Birgisson, L. Bello, and A. Sabelfeld, JSFlow, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2554909

D. Hedin and A. Sabelfeld, Information-Flow Security for a Core of JavaScript, 2012 IEEE 25th Computer Security Foundations Symposium, 2012.
DOI : 10.1109/CSF.2012.19

S. Maffeis and A. Taly, Language-Based Isolation of Untrusted JavaScript, 2009 22nd IEEE Computer Security Foundations Symposium, 2009.
DOI : 10.1109/CSF.2009.11

J. Matthews and R. B. Findler, Operational semantics for multi-language programs, 2009.

. Microsoft, TypeScript language specification, 2014.

A. Rastogi, N. Swamy, C. Fournet, G. Bierman, and P. Vekris, Safe & efficient gradual typing for TypeScript, POPL, 2015.

A. Russo and A. Sabelfeld, Dynamic vs. Static Flow-Sensitive Security Analysis, 2010 23rd IEEE Computer Security Foundations Symposium, 2010.
DOI : 10.1109/CSF.2010.20

A. Sabelfeld and A. C. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003.
DOI : 10.1109/JSAC.2002.806121

J. and F. Santos, Online materials -hybrid type system, 2015.

J. , F. Santos, and T. Rezk, An information flow monitor-inlining compiler for securing a core of JavaScript, IFIP SEC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01087374

P. Thiemann, Towards a type system for analysing JavaScript programs, ESOP, 2005.

D. M. Volpano, C. E. Irvine, and G. Smith, A sound type system for secure flow analysis, Journal of Computer Security, vol.4, issue.2-3, 1996.
DOI : 10.3233/JCS-1996-42-304

A. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, 1994.
DOI : 10.1006/inco.1994.1093