N. Brouwers, P. Corke, and K. Langendoen, Darjeeling, a Java Compatible Virtual Machine for Wireless Sensor Networks, Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion, 2008.

P. Caspi, G. Hamon, and M. Pouzet, Real-Time Systems: Models and verification ? Theory and tools, ISTE, 2007.

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

M. Feeley and D. Dubé, Picbit: a Scheme system for the PIC microcontroller, Scheme and Functional Programming Workshop (SFPW'03), pp.7-15, 2003.

R. Jones, A. Hosking, M. , and E. , The Garbage Collection Handbook: The Art of Automatic Memory Management. CRC Applied Algorithms and Data Structures, 2012.
DOI : 10.1201/9781315388021

X. Leroy, The ZINC experiment : an economical implementation of the ML language, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00070049

L. Mandel and M. Pouzet, ReactiveML, a reactive extension to ML, Proceedings of 7th International conference on Principles and Practice of Declarative Programming (PPDP 2005), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01489747

B. Pagano, O. Andrieu, T. Moniot, B. Canou, E. Chailloux et al., Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework, International Conference of Functional Programming ICFP 09, pp.215-220, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00396371

V. St-amour and M. Feeley, PICOBIT: A Compact Scheme System for Microcontrollers, International Symposium on Implementation and Application of Functional Languages (IFL'09), pp.1-11, 2009.
DOI : 10.1007/978-3-642-16478-1_1

B. Vaugon, P. Wang, C. , and E. , Programming Microcontrollers in OCaml: The OCaPIC Project, International Symposium on Practical Aspects of Declarative Languages (PADL 2015) no. 9131 in Lecture Notes in Computer Science, pp.132-148, 2015.
DOI : 10.1007/978-3-319-19686-2_10
URL : https://hal.archives-ouvertes.fr/hal-01213289

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

P. Wang, A. Jonquet, C. , and E. , Non-Intrusive Structural Coverage for Objective Caml, 5th Workshop on Bytecode Semantics, Verification, pp.59-73, 2011.
DOI : 10.1016/j.entcs.2011.02.006
URL : https://hal.archives-ouvertes.fr/hal-00497131