( en | de | ru )

 

Disambiguation of "Rémy, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).

. Haskell, page 1. ACM, (2017)

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)Inheritance in the Join Calculus., , , and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 397-408. Springer, (2000)From ML to MLF: graphic type constraints with efficient type inference., and . ICFP, page 63-74. ACM, (2008)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)