Benoît Vaugon, Philippe Wang, Emmanuel Chailloux. Programming Microcontrollers in OCaml: The OCaPIC Project. In Enrico Pontelli, Tran Cao Son, editors, Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Volume 9131 of Lecture Notes in Computer Science, pages 132-148, Springer, 2015. [doi]
Abstract is missing.