Polarized Proof Nets with Cycles and Fixpoints Semantics. - Raphaël Montelatici (TLCA, 2003)

CamIL: Un compilateur Objective Caml vers .NET. - Emmanuel Chailloux; Raphaël Montelatici; Bruno Pagano (RIVF, 2004)

Interopérabilité avec Objective Caml. - Emmanuel Chailloux; Grégoire Henry; Raphaël Montelatici (Tech. Sci. Informatiques, 2005)

Mixing the Objective Caml and C# Programming Models in the .Net Framework - Emmanuel Chailloux; Grégoire Henry; Raphaël Montelatici (CoRR, 2007)

Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET). - Raphaël Montelatici (2007)