( en | de | ru )

 

Disambiguation of "Rémy, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
From ML to MLF: graphic type constraints with efficient type inference.

, and . ICFP, page 63-74. ACM, (2008)

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

A Church-Style Intermediate Language for MLF., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 24-39. Springer, (2010)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)From Classes to Objects via Subtyping.. ESOP, volume 1381 of Lecture Notes in Computer Science, page 200-220. Springer, (1998)From ML to MLF: graphic type constraints with efficient type inference., and . ICFP, page 63-74. ACM, (2008)Inheritance in the Join Calculus., , , and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 397-408. Springer, (2000)Synthèse de types dans les langages à objets.. LMO, page 228-230. Ecole Polytechnique Fédérale de Lausanne, CH, (1996)A Generalization of Exceptions and Control in ML-like Languages., , and . FPCA, page 12-23. ACM, (1995)Typechecking Records and Variants in a Natural Extension of ML.. POPL, page 77-88. ACM Press, (1989)The Objective Caml system, Documentation and user's manual, , , , and . (2003)urlhttp://caml.inria.fr/ocaml/htmlman.Semi-Explicit First-Class Polymorphism for ML., and . Inf. Comput., 155 (1-2): 134-169 (1999)