Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang. Certified Development Tools Implementation in Objective Caml. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 2-17, Springer, 2008. [doi]
Abstract is missing.