| |
| 2007 | ||
|---|---|---|
| 4 | EE | Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici: Mixing the Objective Caml and C# Programming Models in the .Net Framework CoRR abs/0705.1458: (2007) |
| 2005 | ||
| 3 | EE | Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici: Interopérabilité avec Objective Caml. Technique et Science Informatiques 24(9): 1055-1080 (2005) |
| 2004 | ||
| 2 | EE | Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano: CamIL: Un compilateur Objective Caml vers .NET. RIVF 2004: 147-152 |
| 2003 | ||
| 1 | EE | Raphaël Montelatici: Polarized Proof Nets with Cycles and Fixpoints Semantics. TLCA 2003: 256-270 |
| 1 | Emmanuel Chailloux | [2] [3] [4] |
| 2 | Grégoire Henry | [3] [4] |
| 3 | Bruno Pagano | [2] |