R. M. Amadio and F. Dabrowski, Feasible reactivity in a synchronous ??-calculus, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.221-230, 2007.
DOI : 10.1145/1273920.1273951
URL : https://hal.archives-ouvertes.fr/hal-00130322

T. Amtoft, F. Nielson, and H. Nielson, Type and Effect Systems : Behaviours for Concurrency, 1999.
DOI : 10.1142/p132

G. Berry, The Esterel v5 language primer. Ecole des Mines and INRIA, 1997.

G. Boudol, ULM: A Core Programming Model for Global Computing, Lecture Notes in Computer Science, vol.2986, pp.234-248, 2004.
DOI : 10.1007/978-3-540-24725-8_17

G. Boudol, Typing termination in a higher-order concurrent imperative language, Information and Computation, vol.208, issue.6, pp.716-736, 2010.
DOI : 10.1016/j.ic.2009.06.007

F. Boussinot, Reactive C : an extension of C to program reactive systems. Software : Practice and Experience, pp.401-428, 1991.

F. Boussinot, Safe Reactive Programming : The FunLoft Language, 2010.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

P. Caspi and M. Pouzet, A Functional Extension to Lustre, International Symposium on Languages for Intentional Programming, 1995.

P. Cuoq and M. Pouzet, Modular Causality in a Synchronous Stream Language, European Symposium on Programming (ESOP'01), 2001.
DOI : 10.1007/3-540-45309-1_16

J. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916

L. Mandel and M. Pouzet, ReactiveML, un langage fonctionnel pour la programmation r??active, Techniques et sciences informatiques, vol.27, issue.8, 2008.
DOI : 10.3166/tsi.27.1097-1128

F. Nielson and H. Nielson, Type and effect systems, Correct System Design, pp.114-136, 1999.

B. C. Pierce, Types and programming languages, 2002.

D. Rémy, Type inference for records in a natural extension of ML. Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, 1993.

J. H. Reppy, Concurrent programming in ML, 2007.
DOI : 10.1017/CBO9780511574962

C. Skalka, S. Smith, and D. Van-horn, Types and trace effects of higher order programs, Journal of Functional Programming, vol.5, issue.02, pp.179-249, 2008.
DOI : 10.1145/353323.353382

J. Talpin and P. Jouvelot, The type and effect discipline, Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on, pp.162-173, 1992.

M. Tofte, Type inference for polymorphic references. Information and computation, pp.1-34, 1990.

J. Vouillon, Lwt, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.3-12, 2008.
DOI : 10.1145/1411304.1411307
URL : https://hal.archives-ouvertes.fr/hal-00495983