( en | de | ru )

 

Disambiguation of "Rémy, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
The Objective Caml system, Documentation and user's manual

, , , , and . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rémy Gassilloud

Rémy Frenoy

Rémy Pottier

Rémy Choquet

Rémy Apfelbacher

 

Other publications of authors with the same name

The Objective Caml system, Documentation and user's manual, , , , and . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.Synthèse de types dans les langages à objets.. LMO, page 228-230. Ecole Polytechnique Fédérale de Lausanne, CH, (1996)Typechecking Records and Variants in a Natural Extension of ML.. POPL, page 77-88. ACM Press, (1989)A Generalization of Exceptions and Control in ML-like Languages., , and . FPCA, page 12-23. ACM, (1995)MLF: raising ML to the power of system F., and . ICFP, page 27-38. ACM, (2003)Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).. Haskell, page 1. ACM, (2017)Fulfilling OCaml Modules with Transparency., , and . Proc. ACM Program. Lang., 8 (OOPSLA1): 194-222 (2024)A Church-Style Intermediate Language for MLF., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 24-39. Springer, (2010)From Classes to Objects via Subtyping.. ESOP, volume 1381 of Lecture Notes in Computer Science, page 200-220. Springer, (1998)Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.. APPSEM, volume 2395 of Lecture Notes in Computer Science, page 413-536. Springer, (2000)