 | 2009 |
|---|
| 3 |       | Bruno Pagano,
Olivier Andrieu,
Thomas Moniot,
Benjamin Canou,
Emmanuel Chailloux,
Philippe Wang,
Pascal Manoury,
Jean-Louis Colaço:
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
ICFP 2009: 215-220 |
| 2008 |
|---|
| 2 | | Benjamin Canou,
Vincent Balat,
Emmanuel Chailloux:
O'browser: objective caml on browsers.
ML 2008: 69-78 |
| 1 | | Bruno Pagano,
Olivier Andrieu,
Benjamin Canou,
Emmanuel Chailloux,
Jean-Louis Colaço,
Thomas Moniot,
Philippe Wang:
Certified Development Tools Implementation in Objective Caml.
PADL 2008: 2-17 |
