Raphaël Montelatici

According to our database, Raphaël Montelatici authored at least 5 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET. (Functional languages, typing and interoperability: Objective Caml on .NET).

Raphaël Montelatici

PhD thesis, 2007

Mixing the Objective Caml and C# Programming Models in the .Net Framework

Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici

CoRR, 2007

2005

Interopérabilité avec Objective Caml.

Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici

Tech. Sci. Informatiques, 2005

2004

CamIL: Un compilateur Objective Caml vers .NET.

Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano

Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004

2003

Polarized Proof Nets with Cycles and Fixpoints Semantics.

Raphaël Montelatici

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003