Grégoire Henry

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Functional Programming

Quantifier Elimination

Student Engagement

Execution Model

Top Venues

Proc. ACM Program. Lang.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Benjamin Canou, Roberto Di Cosmo, Grégoire Henry
Scaling up functional programming education: under the hood of the OCaml MOOC. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury
Typing unmarshalling without marshalling types. ICFP (2012)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
Typer la dé-sérialisation sans sérialiser les types CoRR (2007)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
Typer la désérialisation sans sérialiser les types. Tech. Sci. Informatiques 26 (9) (2007)
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
Mixing the Objective Caml and C# Programming Models in the .Net Framework CoRR (2007)
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
Interopérabilité avec Objective Caml. Tech. Sci. Informatiques 24 (9) (2005)
Emmanuel Chailloux, Grégoire Henry
O'Jacaré, une interface objet entre Objective Caml et Java. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)