Thomas Moniot

According to our database, Thomas Moniot authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang

Proceedings of the Practical Aspects of Declarative Languages, 2008