V. Balat, Ocsigen, Proceedings of the 2006 workshop on ML , ML '06, pp.84-94, 2006.
DOI : 10.1145/1159876.1159889
URL : https://hal.archives-ouvertes.fr/hal-00694976

[. Bierman, M. Abadi, and M. Torgersen, Understanding TypeScript, ECOOP 2014Object-Oriented Programming, pp.257-281
DOI : 10.1007/978-3-662-44202-9_11

D. Betts, J. Dominguez, G. Melnik, F. Simonazzi, and M. Subramanian, Exploring CQRS and Event Sourcing : A Journey into High Scalability, Availability, and Maintainability with Windows Azure. Microsoft patterns &#38 ; practices, 2013.

Y. [. Bibeault and . Kats, jQuery in Action, 2008.

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

[. Cannasse, Using haxe In The Essential Guide to Open Source Flash Development, pp.227-244, 2008.

[. 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

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

E. Cooper, S. Lindley, P. Wadler, and J. Yallop, Links: Web Programming Without Tiers, Formal Methods for Components and Objects, pp.266-296, 2007.
DOI : 10.1007/978-3-540-74792-5_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.3825

J. Coutaz, PAC, ACM SIGCHI Bulletin, vol.19, issue.2, pp.37-41, 1987.
DOI : 10.1145/36111.1045592

[. Cannon and E. Wohlstadter, Automated object persistence for JavaScript, Proceedings of the 19th international conference on World wide web, WWW '10, pp.191-200, 2010.
DOI : 10.1145/1772690.1772711

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

S. Elliott, O. Finne, and . De-moor, Compiling embedded languages, Semantics, Applications, and Implementation of Program Generation, pp.9-26, 2000.
DOI : 10.1007/3-540-45350-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9782

S. [. Ellis and . Gibbs, Concurrency control in groupware systems, ACM SIGMOD Record, vol.18, issue.2, pp.399-407, 1989.
DOI : 10.1145/66926.66963

[. Ernst, A. Møller, M. Schwarz, and F. Strocco, Managing gradual typing with message-safety in dart

S. Fenton, Typescript for javascript programmers, 2012.

M. Furr and J. S. Foster, Checking type safety of foreign function calls, Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '05, pp.62-72, 2005.

T. Roy, R. N. Fielding, and . Taylor, Principled design of the modern Web architecture, ACM Trans. Internet Technol, vol.2, pp.115-150, 2002.

[. Guerraoui, E. Mohamed, and . Fayad, OO distributed programming is not distributed OO programming, Communications of the ACM, vol.42, issue.4, pp.101-104, 1999.
DOI : 10.1145/299157.299179

[. Ghosh, DSLs in Action, 2010.

]. T. Hoa09 and . Hoare, Null references : The billion dollar mistake. Presentation at QCon London, 2009.

P. Hudak, Building domain-specific embedded languages, ACM Computing Surveys, vol.28, issue.4es, 1996.
DOI : 10.1145/242224.242477
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5006

J. Jézéquel, O. Benoit-combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of metalanguages and its implementation in the kermeta language workbench. Software & Systems Modeling, pp.1-16, 2013.

D. Neil, . Jones, K. Carsten, P. Gomard, and . Sestoft, Partial evaluation and automatic program generation, 1993.

[. Jørring and W. L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '86, pp.86-96, 1986.
DOI : 10.1145/512644.512652

B. Johnson and J. Webber, Google web toolkit, 2007.

. Samuel-kamin, Standard ml as a meta-programming language, 1996.

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

S. Sebastian-kleinschmager, R. Hanenberg, . Robbes, A. Tanter, and . Stefik, Do static type systems improve the maintainability of software systems? An empirical study, 2012 20th IEEE International Conference on Program Comprehension (ICPC), pp.153-162, 2012.
DOI : 10.1109/ICPC.2012.6240483

[. Kao, C. Lin, K. Yang, and S. Yuan, A Web-based, Offline-able, and Personalized Runtime Environment for executing applications on mobile devices, Computer Standards & Interfaces, vol.34, issue.1, pp.212-224, 2012.
DOI : 10.1016/j.csi.2011.08.006

[. Krasner and S. Pope, Accédé le 18 juillet 2014 A cookbook for using the model-view controller user interface paradigm in smalltalk-80 j. object oriented program, pp.26-49, 1988.

J. Peter and . Landin, The next 700 programming languages, Communications of the ACM, vol.9, issue.3, pp.157-166, 1966.

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

[. Leijen and E. Meijer, Domain specific embedded compilers, ACM Sigplan Notices, pp.109-122, 1999.
DOI : 10.1145/331960.331977
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2599

E. Lippe and N. Van-oosterom, Operation-based merging, ACM SIGSOFT Software Engineering Notes, vol.17, issue.5, pp.78-87, 1992.
DOI : 10.1145/142882.143753

[. Busch, Rich Internet Applications. State-of-the-Art, 2009.

J. A. Félix-albertos-marco, . Gallud, M. R. Victor, M. Penichet, and . Winckler, A model-based approach for supporting offline interaction with web sites resilient to interruptions, ICWE Workshops, pp.156-171, 2013.

[. Mayer, S. Hanenberg, R. Robbes, É. Tanter, and A. Stefik, Static type systems (sometimes) have a positive impact on the usability of undocumented software : An empirical evaluation. self, p.5

A. David, P. Nichols, M. Curtis, J. Dixon, and . Lamping, Highlatency , Low-bandwidth Windowing in the Jupiter Collaboration System, Proceedings of the 8th Annual ACM Symposium on User Interface and Software Technology, UIST '95, pp.111-120, 1995.

S. [. Nanda and . Sinha, Accurate Interprocedural Null-Dereference Analysis for Java, 2009 IEEE 31st International Conference on Software Engineering, pp.133-143, 2009.
DOI : 10.1109/ICSE.2009.5070515

[. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, 2003.
DOI : 10.1007/978-3-540-45070-2_10

. Pur and . Purescript, RIA : more than a Nice Face, Proceedings of the Doctolral Consortium of the International Conference on Web Engineering, 2009.

J. Richard-foy, O. Barais, and J. Jézéquel, Efficient highlevel abstractions for web programming, Proceedings of the 12th international conference on Generative programming : concepts & experiences, pp.53-60, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920786

J. Richard-foy, O. Barais, and J. Jézéquel, Efficient highlevel abstractions for web programming, Generative Programming : Concepts and Experiences, GPCE'13, pp.53-60, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920786

J. Richard-foy, O. Barais, and J. Jézéquel, Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces, ICWE -14th International Conference on Web Engineering, 2014.
DOI : 10.1007/978-3-319-08245-5_18
URL : https://hal.archives-ouvertes.fr/hal-01026148

J. Rifkin, The third industrial revolution, Engineering & Technology, vol.3, issue.7, pp.26-27, 2008.
DOI : 10.1049/et:20080718

T. Rompf, Lightweight Modular Staging and Embedded Compilers : Abstraction without Regret for High-Level High-Performance Programming, 2012.

A. K. Tiark-rompf, . Sujeeth, J. Kevin, H. Brown, H. Lee et al., Surgical precision jit compilers, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, p.8, 2014.

[. Sun and C. Ellis, Operational Transformation in Realtime Group Editors : Issues, Algorithms, and Achievements, Proceedings of the 1998 ACM Conference on Computer Supported Cooperative Work, CSCW '98, pp.59-68, 1998.

[. Serrano, E. Gallesio, and F. Loitsch, Hop, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.975-985, 2006.
DOI : 10.1145/1176617.1176756
URL : https://hal.archives-ouvertes.fr/hal-00498507

. Sha, . Sharpkit-bin, D. Shao, T. Li, N. Lu et al., An operational transformation based synchronization protocol for web 2.0 applications, Proceedings of the ACM 2011 conference on Computer supported cooperative work, CSCW '11, pp.563-572, 2011.
DOI : 10.1145/1958824.1958910

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399

E. Visser, WebDSL: A Case Study in Domain-Specific Language Engineering, Generative and Transformational Techniques in Software Engineering II, pp.291-373, 2008.
DOI : 10.1007/978-3-540-88643-3_7

M. Voelter and V. Pech, Language modularity with the MPS language workbench, 2012 34th International Conference on Software Engineering (ICSE), pp.1449-1450, 2012.
DOI : 10.1109/ICSE.2012.6227070

M. Völter and E. Visser, Language extension and composition with language workbenches, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '10, pp.301-304, 2010.
DOI : 10.1145/1869542.1869623

K. Walrath and S. Ladd, What is Dart, p.2012

Y. Yang, Supporting online Web-based teamwork in offline mobile mode too, Proceedings of the First International Conference on Web Information Systems Engineering, pp.486-490, 2000.
DOI : 10.1109/WISE.2000.882431