 | 2009 |
|---|
| 6 |       | 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 |
|---|
| 5 | | 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 |
| 2005 |
|---|
| 4 | | Jean-Louis Colaço,
Bruno Pagano,
Marc Pouzet:
A conservative extension of synchronous data-flow with state machines.
EMSOFT 2005: 173-182 |
| 2004 |
|---|
| 3 | | Emmanuel Chailloux,
Raphaël Montelatici,
Bruno Pagano:
CamIL: Un compilateur Objective Caml vers .NET.
RIVF 2004: 147-152 |
| 1998 |
|---|
| 2 | | Bruno Pagano:
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.
CADE 1998: 72-87 |
| 1996 |
|---|
| 1 |  | Thérèse Hardin,
Luc Maranget,
Bruno Pagano:
Functional Back-Ends within the Lambda-Sigma Calculus.
ICFP 1996: 25-33 |
