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
Using haxe. The Essential Guide to Open Source Flash Development, pp.227-244, 2008. ,
DOI : 10.1007/978-1-4302-0994-2_9
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
Document object model (dom) level 3 core specification. W3C recommendation, 2004. ,
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
Elm: Concurrent frp for functional guis, 2012. ,
js: Type-Directed Interoperability with Dynamically Typed Languages, 2013. ,
Typescript for javascript programmers, 2012. ,
The dart programming language for non-programmers-overview, 2011. ,
Web 2.0 development with the Google web toolkit, Linux J, issue.178, 2009. ,
JavaScript as an Embedded DSL, ECOOP 2012 ? Object-Oriented Programming, pp.409-434 ,
DOI : 10.1007/978-3-642-31057-7_19
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
Combining Form and Function: Static Types for JQuery Programs, ECOOP 2013 ? Object-Oriented Programming, pp.79-103, 2013. ,
Reactive Extensions for JavaScript, Programming Reactive Extensions and LINQ, pp.111-124, 2011. ,
DOI : 10.1007/978-1-4302-3748-8_7
Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages ,
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
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