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 Colao

Browse the full ICFP paper archive.