E. Brady, Idris, a general-purpose dependently typed programming language: Design and implementation, Journal of Functional Programming, vol.36, issue.05, pp.552-593, 2013.
DOI : 10.1017/S0956796803004829

N. Cannasse, Using haxe. The Essential Guide to Open Source Flash Development, pp.227-244, 2008.
DOI : 10.1007/978-1-4302-0994-2_9

R. Chugh, D. Herman, and R. Jhala, Dependent types for JavaScript, ACM SIGPLAN Notices, vol.47, issue.10, pp.587-606, 2012.
DOI : 10.1145/2398857.2384659

URL : http://arxiv.org/abs/1112.4106

W. Consortium, Document object model (dom) level 3 core specification. W3C recommendation, 2004.

V. Cremet, F. Garillot, S. Lenglet, and M. Odersky, A Core Calculus for Scala Type Checking, In Mathematical Foundations of Computer Science, pp.1-23, 2006.
DOI : 10.1007/11821069_1

URL : https://hal.archives-ouvertes.fr/hal-00903812

E. Czaplicki, Elm: Concurrent frp for functional guis, 2012.

S. Doeraene and . Scala, js: Type-Directed Interoperability with Dynamically Typed Languages, 2013.

S. Fenton, Typescript for javascript programmers, 2012.

R. Griffith, The dart programming language for non-programmers-overview, 2011.

F. Kereki, Web 2.0 development with the Google web toolkit, Linux J, issue.178, 2009.

G. Kossakowski, N. Amin, T. Rompf, and M. Odersky, JavaScript as an Embedded DSL, ECOOP 2012 ? Object-Oriented Programming, pp.409-434
DOI : 10.1007/978-3-642-31057-7_19

D. Leijen and E. Meijer, Domain specific embedded compilers, ACM SIGPLAN Notices, vol.35, issue.1, pp.109-122, 1999.
DOI : 10.1145/331963.331977

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2599

. Benjamins, L. Lerner, J. Elberty, S. Li, and . Krishnamurthi, Combining Form and Function: Static Types for JQuery Programs, ECOOP 2013 ? Object-Oriented Programming, pp.79-103, 2013.

J. Liberty and P. Betts, Reactive Extensions for JavaScript, Programming Reactive Extensions and LINQ, pp.111-124, 2011.
DOI : 10.1007/978-1-4302-3748-8_7

E. Meijer and P. Drayton, Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages

M. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, ECOOP 2003 ? Object-Oriented Programming, pp.201-224, 2003.
DOI : 10.1007/978-3-540-45070-2_10

M. Odersky and M. Zenger, Scalable component abstractions, ACM SIGPLAN Notices, vol.40, issue.10, pp.41-57, 2005.
DOI : 10.1145/1103845.1094815

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.5313