Raphaël Montelatici

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2005
Interopérabilité avec Objective Caml.
Tech. Sci. Informatiques, 2005

2004
CamIL: Un compilateur Objective Caml vers .NET.
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.
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003


  Loading...