. Le-module-fsharp and . Powerpack, Compatibility disponible à l'adresse http

. [. Bibliographie, L. Amagbegnon, P. L. Besnard, and . Guernic, Implementation of the Data-flow Synchronous Language SIGNAL, Programming Languages Design and Implementation (PLDI), pp.163-173, 1995.

F. [. Amadio and . 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

C. [. Atkey and . Mcbride, Productive coprogramming with guarded recursion, ICFP'13, 2013.

. Ammb-+-09-]-s, C. Abu-mahmeed, Z. Mccosh, K. Budimli´cbudimli´c, K. Kennedy et al., Scheduling tasks to maximize usage of aggregate variables in place, CC '09 : Proceedings of the 18th International Conference on Compiler Construction, pp.204-219, 2009.

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

B. [. Abel and . Pientka, Well-founded recursion with copatterns, ICFP'13, 2013.
DOI : 10.1145/2544174.2500591

]. H. Bak90 and . Baker, Unify and conquer, LFP '90 : Proceedings of the 1990 ACM conference on LISP and functional programming, pp.218-226, 1990.

]. F. Bal97 and . Balarin, Hardware-software co-design of embedded systems : the POLIS approach, 1997.

L. [. Berry and . Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1984.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

]. A. Bce-+-03, P. Benveniste, S. A. Caspi, N. Edwards, P. L. Halbwachs et al., The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

J. [. Biernacki, G. Colaço, M. Hamon, and . Pouzet, Clock-directed modular code generation for synchronous data-flow languages, LCTES '08 : Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, pp.121-130, 2008.
DOI : 10.1145/1379023.1375674

F. [. Boussinot and . Dabrowski, Safe Reactive Programming : The FunLoft Proposal
URL : https://hal.archives-ouvertes.fr/hal-00465563

]. G. Ber92 and . Berry, Esterel on hardware, mechanized reasoning and hardware design, 1992.

]. G. Ber96 and . Berry, The constructive semantics of pure Esterel, 1996.

]. G. Ber97 and . Berry, The Esterel v5 language primer, 1997.

G. Barthe, M. J. Frade, E. Giménez, L. Pinto, and T. Uustalu, Type-based termination of recursive definitions, Mathematical Structures in Computer Science, vol.14, issue.1, pp.97-141, 2004.
DOI : 10.1017/S0960129503004122

G. [. Berry and . Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

F. [. Baudart, L. Jacquemard, M. Mandel, and . Pouzet, A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), 2013.
DOI : 10.1109/EMSOFT.2013.6658579
URL : https://hal.archives-ouvertes.fr/hal-00850299

P. [. Benveniste, C. Guernic, and . Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

C. [. Berry, M. Nicolas, and . Serrano, Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2011.
DOI : 10.1145/2093328.2093337
URL : https://hal.archives-ouvertes.fr/hal-00911782

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

]. G. Bou04a and . Boudol, ULM : A core programming model for global computing, Programming Languages and Systems, pp.234-248, 2004.

]. F. Bou04b and . Boussinot, Reactive programming of cellular automata, 2004.

]. F. Bou06 and . Boussinot, FairThreads : mixing cooperative and preemptive threads in C. Concurrency and Computation : Practice and Experience, pp.445-469, 2006.

]. G. Bou10 and . Boudol, Typing termination in a higher-order concurrent imperative language, Information and Computation, vol.208, issue.6, pp.716-736, 2010.

A. [. Bellifemine, G. Poggi, and . Rimassa, JADE?a FIPA-compliant agent framework, Proceedings of PAAM, p.33, 1999.

]. D. Bré79 and . Brélaz, New methods to color the vertices of a graph, Commun. ACM, vol.22, issue.4, pp.251-256, 1979.

S. [. Berry, R. K. Ramesh, and . Shyamasundar, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.85-98, 1993.
DOI : 10.1145/158511.158526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7059

L. [. Bogacki and . Shampine, A 3(2) pair of Runge - Kutta formulas, Applied Mathematics Letters, vol.2, issue.4, pp.321-325, 1989.
DOI : 10.1016/0893-9659(89)90079-7

S. [. Barendsen and . Smetsers, Uniqueness type inference, PLILPS '95 : Proceedings of the 7th International Symposium on Programming Languages : Implementations, Logics and Programs, pp.189-206, 1995.
DOI : 10.1007/BFb0026821

J. [. Boussinot and . Susini, The SugarCubes tool box : a reactive Java framework. Software : Practice and Experience, pp.1531-1550, 1998.

J. [. Boussinot, F. Susini, L. Tran, and . Hazard, A reactive behavior framework for dynamic virtual worlds, Proceedings of the sixth international conference on 3D Web technology , Web3D '01, pp.69-75, 2001.
DOI : 10.1145/363361.363379

. J. Cac-+-81-]-g, M. A. Chaitin, A. K. Auslander, J. Chandra, M. E. Cocke et al., Register allocation via coloring, Computer Languages, vol.6, issue.1, pp.47-57, 1981.

]. P. Cas92 and . Caspi, Clocks in dataflow languages, Theoretical Computer Science, vol.94, issue.1, pp.125-140, 1992.

L. [. Cohen, M. Gérard, and . Pouzet, Programming parallelism with futures in lustre, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '12, 2012.
DOI : 10.1145/2380356.2380394
URL : https://hal.archives-ouvertes.fr/hal-00786682

S. [. Calcagno, P. Helsen, and . Thiemann, Syntactic Type Soundness Results for the Region Calculus, Information and Computation, vol.173, issue.2, pp.199-221, 2002.
DOI : 10.1006/inco.2001.3112

Y. [. Chase and . Lev, Dynamic circular work-stealing deque, Proceedings of the 17th annual ACM symposium on Parallelism in algorithms and architectures , SPAA'05, pp.21-28, 2005.
DOI : 10.1145/1073970.1073974

]. M. Con63 and . Conway, Design of a separable transition-diagram compiler, Communications of the ACM, vol.6, issue.7, pp.396-408, 1963.

]. A. Con08 and . Cont, ANTESCOFO : Anticipatory synchronization and control of interactive parameters in computer music, International Computer Music Conference (ICMC), 2008.

M. [. Caspi and . Pouzet, Synchronous Kahn networks, ICFP '96 : Proceedings of the first ACM SIGPLAN international conference on Functional programming, pp.226-238, 1996.
DOI : 10.1145/232627.232651
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9168

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

[. Colaço and M. Pouzet, Clocks as First Class Abstract Types, Embedded Software, pp.134-155, 2003.
DOI : 10.1007/978-3-540-45212-6_10

D. [. Caspi, N. Pilaud, J. A. Halbwachs, and . 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

E. Closse, M. Poize, J. Pulou, P. Venier, and D. Weil, Saxo???rt: Interpreting Esterel Semantic on a Sequential Execution Structure, Synchronous Languages, Applications, and Programming, pp.80-94, 2002.
DOI : 10.1016/S1571-0661(05)80443-8

[. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086261

]. P. Die89 and . Dietz, Fully persistent arrays (extended array), WADS '89 : Proceedings of the Workshop on Algorithms and Data Structures, pp.67-74, 1989.

X. [. Doligez and . Leroy, A concurrent, generational garbage collector for a multithreaded implementation of ML, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.113-123, 1993.
DOI : 10.1145/158511.158611
URL : https://hal.archives-ouvertes.fr/hal-01499969

R. [. Damas and . Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5233

H. [. Delaval, É. Marchand, and . Rutten, Contracts for modular discrete controller synthesis, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, 2010.
DOI : 10.1145/1755951.1755898
URL : https://hal.archives-ouvertes.fr/inria-00436560

]. S. Edw00 and . Edwards, Compiling Esterel into sequential code, DAC '00 : Proceedings of the 37th Annual Design Automation Conference, pp.322-327, 2000.

G. [. Fournet and . Gonthier, The Join Calculus: A Language for Distributed Mobile Programming, Applied Semantics, pp.268-332, 2002.
DOI : 10.1007/3-540-45699-6_6

C. Fournet, F. Le-fessant, L. Maranget, and A. Schmitt, JoCaml: A Language for Concurrent Distributed and Mobile Programming, Advanced Functional Programming, pp.978-981, 1007.
DOI : 10.1007/978-3-540-44833-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.566

M. [. Friedman and . Wand, Reification, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.348-355, 1984.
DOI : 10.1145/800055.802051

]. S. Gay08 and . Gay, Analyse d'échappement de portée en ReactiveML. Master's thesis, MPRI, 2008.

J. [. Gemünde, K. Brandt, and . Schneider, Clock refinement in imperative synchronous languages, EURASIP Journal on Embedded Systems, vol.2013, issue.1, pp.3-21, 2009.
DOI : 10.1142/S0218126603000763

]. M. Gbs10a, J. Gemunde, K. Brandt, and . Schneider, Compilation of imperative synchronous programs with refined clocks, Formal Methods and Models for Codesign 8th IEEE/ACM International Conference on, pp.209-218, 2010.

]. M. Gbs10b, J. Gemünde, K. Brandt, and . Schneider, A formal semantics of clock refinement in imperative synchronous languages, Application of Concurrency to System Design (ACSD) 10th International Conference on, pp.157-168, 2010.

J. [. Gemunde, K. Brandt, and . Schneider, Causality analysis of synchronous programs with refined clocks, 2011 IEEE International High Level Design Validation and Test Workshop, pp.25-32, 2011.
DOI : 10.1109/HLDVT.2011.6114162

J. [. Gemunde, K. Brandt, and . Schneider, Clock refinement in imperative synchronous languages, EURASIP Journal on Embedded Systems, vol.2013, issue.1, 2013.
DOI : 10.1142/S0218126603000763

]. B. Gel11 and . Gelineau, Programmation synchrone pour GPU. Master's thesis, Ecole Polytechnique, 2011.

]. L. Gér08 and . Gérard, Des horloges entières pour la répartition de programmes synchrones flot de données, 2008.

D. [. Ganz, M. Friedman, and . Wand, Trampolined style, ACM SIGPLAN Notices, vol.34, issue.9, pp.18-27, 1999.
DOI : 10.1145/317765.317779

T. [. Gamatié and . Gautier, The Signal synchronous multiclock approach to the design of distributed embedded systems. Parallel and Distributed Systems, IEEE Transactions on, vol.21, issue.5, pp.641-657, 2010.

A. [. Gérard, C. Guatto, M. Pasteur, and . Pouzet, A modular memory optimization for synchronous data-flow languages, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, 2012.
DOI : 10.1145/2248418.2248426

W. [. Goodman and . Hsu, Code scheduling and register allocation in large basic blocks, ICS '88 : Proceedings of the 2nd international conference on Supercomputing, pp.442-452, 1988.

]. Gir72 and . Girard, Interprétation fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieur, 1972.

]. Gir87 and . Girard, Linear logic. Theoretical computer science, pp.1-102, 1987.

]. A. Gir05 and . Girault, A survey of automatic distribution method for synchronous programs, International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, 2005.

M. [. Guatto and . Pouzet, Rapport d'étude sur la traduction de SCADE/Lustre vers VHDL, 2010.

D. [. Garrigue and . Rémy, Extending ML with semi-explicit higher-order polymorphism, Theoretical Aspects of Computer Software, pp.20-46, 1997.
DOI : 10.1007/BFb0014546

A. [. Hudak and . Bloss, The aggregate update problem in functional programming systems, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '85, pp.300-314, 1985.
DOI : 10.1145/318593.318660

. [. Halstead-jr and . Multilisp, MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

]. C. Hoa78 and . Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.

A. [. Harel and . Pnueli, On the Development of Reactive Systems. Logics and models of concurrent systems, p.477, 1985.

P. [. Halbwachs and C. Raymond, Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming, 1991.
DOI : 10.1007/3-540-54444-5_100
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6974

N. [. Herlihy and . Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

J. [. Hazard, F. Susini, and . Boussinot, The Junior Reactive Kernel, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072933

]. G. Hue75 and . Huet, A unification algorithm for typed ?-calculus, Theoretical Computer Science, vol.1, issue.1, pp.27-57, 1975.

]. A. Jef13 and . Jeffrey, Functional reactive programming with liveness guarantees, ICFP'13, 2013.

D. [. Jouvelot and . Gifford, Algebraic reconstruction of types and effects, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.303-310, 1991.
DOI : 10.1145/99583.99623

A. [. Jones, S. Gordon, and . Finne, Concurrent Haskell, Annual Symposium on Principles of Programming Languages : Proceedings of the 23 rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.295-308, 1996.

D. [. Jones, S. Vytiniotis, M. Weirich, and . Shields, Practical type inference for arbitrary-rank types, Journal of Functional Programming, vol.17, issue.01, pp.1-82, 2007.
DOI : 10.1017/S0956796806006034

[. Botlan and D. Rémy, Recasting MLF, Information and Computation, vol.207, issue.6, pp.726-785, 2009.
DOI : 10.1016/j.ic.2008.12.006
URL : https://hal.archives-ouvertes.fr/inria-00156628

]. E. Lee06 and . Lee, The problem with threads, Computer, vol.39, issue.5, pp.33-42, 2006.

]. D. Lei09 and . Leijen, Flexible types : robust type inference for first-class polymorphism, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.66-77, 2009.

]. X. Ler09 and . Leroy, Formal verification of a realistic compiler, Commun. ACM, vol.52, pp.107-115, 2009.

D. [. Lucassen and . 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

P. , L. Guernic, J. P. Talpin, and J. C. Le-lann, Polychrony for system design, Journal of Circuits, Systems, and Computers, vol.12, issue.03, pp.261-303, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

M. [. Laufer and . Odersky, An extension of ML with first-class abstract types, ACM SIGPLAN Workshop on ML and its Applications, pp.78-91, 1992.

F. [. Leroy and . Pessaux, Type-based analysis of uncaught exceptions, ACM Transactions on Programming Languages and Systems, vol.22, issue.2, pp.340-377, 2000.
DOI : 10.1145/349214.349230
URL : https://hal.archives-ouvertes.fr/hal-01499948

]. L. Man06 and . Mandel, Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive, 2006.

F. [. Mandel and . Benbadis, Simulation of mobile ad hoc network protocols in ReactiveML, Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01488510

P. [. Mikac and . Caspi, Temporal refinement for Lustre, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00466172

A. [. Malik, Z. Girault, and . Salcic, The DSystemJ programming language for dynamic GALS systems : its semantics, compilation, implementation, and run-time system, 2010.

]. R. Mil78 and . Milner, A theory of type polymorphism in programming, Journal of computer and system sciences, vol.17, issue.3, pp.348-375, 1978.

S. [. Marlow, W. Jones, and . Thaller, Extending the Haskell foreign function interface with concurrency, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '04, pp.22-32, 2004.
DOI : 10.1145/1017472.1017479

T. [. Marino and . Millstein, A generic type-and-effect system, Proceedings of the 4th international workshop on Types in language design and implementation, TLDI '09, pp.39-50, 2009.
DOI : 10.1145/1481861.1481868

]. L. Mor07 and . Morel, Array Iterators in Lustre : From a Language Extension to Its Exploitation in Validation, EURASIP Journal on Embedded Systems, 2007.

F. [. Mauny and . Pottier, An implementation of Caml-Light with existential types, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074488

M. [. Mandel and . Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005.
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179

]. L. Mp08a, F. Mandel, and . Plateau, Interactive programming of reactive systems, Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P'08), 2008.

]. L. Mp08b, M. Mandel, and . Pouzet, ReactiveML, un langage fonctionnel pour la programmation réactive, Technique et science informatiques (TSI), pp.9-101097, 2008.

]. L. Mp13a, C. Mandel, and . Pasteur, Réactivité des systèmes coopératifs : le cas de ReactiveML, Vingt-quatrièmes Journées Francophones des Langages Applicatifs, 2013.

]. L. Mp13b, C. Mandel, and . Pasteur, Reactivity of cooperative systems : Application to ReactiveML, 2013.

C. [. Mandel, M. Pasteur, and . Pouzet, Time refinement in a functional synchronous language, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00850290

Y. [. Maraninchi and . Rémond, Mode-automata: About modes and states for reactive systems, Programming Languages and Systems, pp.185-199, 1998.
DOI : 10.1007/BFb0053571

Z. [. Malik, P. S. Salcic, A. Roop, and . Girault, SystemJ: A GALS language for system level design, Computer Languages, Systems & Structures, vol.36, issue.4, pp.317-344, 2010.
DOI : 10.1016/j.cl.2010.01.001
URL : https://hal.archives-ouvertes.fr/hal-00753512

H. [. Nielson and . Nielson, From CML to process algebras, CONCUR'93, pp.493-508, 1993.
DOI : 10.1007/3-540-57208-2_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.2205

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

H. [. Nielson, C. Nielson, and . Hankin, Principles of program analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

]. D. Nov03 and . Novillo, TreeSSA a new optimization infrastructure for GCC, Proceedings of the 2003 GCC Developers' Summit, pp.181-193, 2003.

]. M. Ode91 and . Odersky, How to make destructive updates less destructive, POPL '91 : Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.25-36, 1991.

K. [. Odersky and . Läufer, Putting type annotations to work, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.54-67, 1996.
DOI : 10.1145/237721.237729
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.5598

]. B. Pag10 and . Pagano, The optimization of iterators and updates for functional arrays in SCADE 6, 2010.

]. P. Pan01 and . Panda, SystemC-a modeling platform supporting multiple design abstractions, System Synthesis Proceedings. The 14th International Symposium on, pp.75-80, 2001.

]. C. Pas10 and . Pasteur, Optimisation des tableaux dans SCADE. Master's thesis, Ecole Polytechnique, 2010.

]. B. Pie02 and . Pierce, Types and programming languages, 2002.

]. B. Pie05 and . Pierce, Advanced topics in types and programming languages, 2005.

]. F. Pla10 and . Plateau, Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, 2010.

D. [. Pierce and . Turner, Local type inference, ACM Transactions on Programming Languages and Systems, vol.22, issue.1, pp.1-44, 2000.
DOI : 10.1145/345099.345100

]. D. Rém94 and . Rémy, Programming objects with ml-art an extension to ml with abstract and record types, Theoretical Aspects of Computer Software, pp.321-346, 1994.

]. D. Rém05 and . Rémy, Simple, partial type-inference for System F based on type-containment, In ACM SIGPLAN Notices, vol.40, pp.130-143, 2005.

]. J. [-rep93 and . Reppy, Concurrent ML : Design, application and semantics, Functional Programming , Concurrency, Simulation and Automated Reasoning, pp.165-198, 1993.

]. J. [-rey74 and . Reynolds, Towards a theory of type structure, Programming Symposium, Proceedings Colloque sur la Programmation, pp.408-423, 1974.

]. C. Rey87 and . Reynolds, Flocks, herds and schools : A distributed behavioral model, In ACM SIGGRAPH Computer Graphics, vol.21, pp.25-34, 1987.

J. [. Rémy and . Vouillon, Objective ML, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.40-53, 1997.
DOI : 10.1145/263699.263707

F. [. Serrano, B. Boussinot, and . Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '04, pp.203-214, 2004.
DOI : 10.1145/1013963.1013986

G. [. Shiple, H. Berry, and . Touati, Constructive analysis of cyclic circuits, Proceedings ED&TC European Design and Test Conference, pp.328-333, 1996.
DOI : 10.1109/EDTC.1996.494321

M. [. Schnorf, J. L. Ganapathi, and . Hennessy, Compile-time copy elimination, Software: Practice and Experience, vol.35, issue.11, pp.1175-1200, 1993.
DOI : 10.1002/spe.4380231102

]. Y. Sho93 and . Shoham, Agent-oriented programming, Artificial intelligence, vol.60, issue.1, pp.51-92, 1993.

]. B. Sij89 and . Sijtsma, On the productivity of recursive list definitions, pp.633-649, 1989.

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, p.3, 2006.
DOI : 10.1145/1142680.1142684

T. [. Syme, D. Petricek, and . Lomov, The F# asynchronous programming model. Practical Aspects of Declarative Languages, pp.175-189, 2011.

S. [. Skalka, D. Smith, and . 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

]. Sus01 and . Susini, Approche Réactive au dessus de Java : sémantique et implémentation des SugarCubes et de Junior, 2001.

L. [. Tofte and . Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems, vol.20, issue.4, pp.724-767, 1998.
DOI : 10.1145/291891.291894

]. O. Tds05, R. Tardieu, and . De-simone, Loops in Esterel, ACM Transactions on Embedded Computing Systems (TECS), vol.4, issue.4, pp.708-750, 2005.

]. V. Thi13 and . Thiberville, Coûts et retards associés au sur-échantillonnage dans un langage synchrone. Master's thesis, Ecole Polytechnique, 2013.

[. 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. Tof90 and . Tofte, Type inference for polymorphic references. Information and computation, pp.1-34, 1990.

J. [. Tofte and . Talpin, Region-Based Memory Management, Information and Computation, vol.132, issue.2, pp.109-176, 1997.
DOI : 10.1006/inco.1996.2613
URL : http://doi.org/10.1006/inco.1996.2613

]. J. Vou08 and . Vouillon, Lwt : a cooperative thread library, Proceedings of the 2008 ACM SIGPLAN workshop on ML, pp.3-12, 2008.

S. [. Vytiniotis, S. P. Weirich, and . Jones, FPH, ACM SIGPLAN Notices, vol.43, issue.9, pp.295-306, 2008.
DOI : 10.1145/1411203.1411246

]. P. Wad88 and . Wadler, Deforestation : transforming programs to eliminate trees, Proceedings of the Second European Symposium on Programming, pp.231-248, 1988.

]. P. Wad90 and . Wadler, Linear types can change the world ! In IFIP TC 2 Working Conference on Programming Concepts and Methods, pp.347-359, 1990.

]. M. Wan87 and . Wand, Complete type inference for simple objects, LICS, pp.37-44, 1987.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, p.36, 2008.
DOI : 10.1145/1347375.1347389

]. J. Wel99 and . Wells, Typability and type checking in System F are equivalent and undecidable, Annals of Pure and Applied Logic, vol.98, issue.1, pp.111-156, 1999.