Grégoire Henry

According to our database, Grégoire Henry authored at least 8 papers between 2004 and 2017.

Collaborative distances:

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

2017

Scaling up functional programming education: under the hood of the OCaml MOOC.

Benjamin Canou, Roberto Di Cosmo, Grégoire Henry

Proc. ACM Program. Lang., 2017

2012

Typing unmarshalling without marshalling types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Typer la désérialisation sans sérialiser les types. (Typing unmarshalling without marshalling types).

Grégoire Henry

PhD thesis, 2011

2007

Typer la désérialisation sans sérialiser les types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

Tech. Sci. Informatiques, 2007

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

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

CoRR, 2007

Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

CoRR, 2007

2005

Interopérabilité avec Objective Caml.

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

Tech. Sci. Informatiques, 2005

2004

O'Jacaré, une interface objet entre Objective Caml et Java.

Emmanuel Chailloux, Grégoire Henry

Obj. Logiciel Base données Réseaux, 2004