Typechecking Records and Variants in a Natural Extension of ML. - Didier Rémy (POPL, 1989)

Projective ML. - Didier Rémy (LISP and Functional Programming, 1992)

Typing Record Concatenation for Free. - Didier Rémy (POPL, 1992)

Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. - Didier Rémy (TACS, 1994)

A Generalization of Exceptions and Control in ML-like Languages. - Carl A. Gunter; Didier Rémy; Jon G. Riecke (FPCA, 1995)

Dynamic Typing in Polymorphic Languages. - Martín Abadi; Luca Cardelli; Benjamin C. Pierce; Didier Rémy (J. Funct. Program., 1995)

A Calculus of Mobile Agents. - Cédric Fournet; Georges Gonthier; Jean-Jacques Lévy; Luc Maranget; Didier Rémy (CONCUR, 1996)

Synthèse de types dans les langages à objets. - Didier Rémy (LMO, 1996)

Implicit Typing à la ML for the Join-Calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (CONCUR, 1997)

Objective ML: A Simple Object-Oriented Extension of ML. - Didier Rémy; Jerome Vouillon (POPL, 1997)

Extending ML with Semi-Explicit Higher-Order Polymorphism. - Jacques Garrigue; Didier Rémy (TACS, 1997)

From Classes to Objects via Subtyping. - Didier Rémy (ESOP, 1998)

Objective ML: An Effective Object-Oriented Extension to ML. - Didier Rémy; Jerome Vouillon (Theory Pract. Object Syst., 1998)

PARADEIS: An Object Library for Parallel Sparse Array Computation. - Franck Delaplace; Didier Rémy (ACPC, 1999)

Semi-Explicit First-Class Polymorphism for ML. - Jacques Garrigue; Didier Rémy (Inf. Comput., 1999)

Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. - Didier Rémy (APPSEM, 2000)

Guest Editorial: Foundations of Object-Oriented Languages. - Kim B. Bruce; Didier Rémy (Inf. Comput., 2002)

MLF: raising ML to the power of system F. - Didier Le Botlan; Didier Rémy (ICFP, 2003)

Inheritance in the join calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (J. Log. Algebraic Methods Program., 2003)

Simple, partial type-inference for System F based on type-containment. - Didier Rémy (ICFP, 2005)

Subtyping Recursive Types Modulo Associative Commutative Products. - Roberto Di Cosmo; François Pottier; Didier Rémy (TLCA, 2005)

MLF for everyone (users, implementers, and designers). - Didier Rémy (ML, 2007)

A graphical presentation of MLF types with a linear-time unification algorithm. - Didier Rémy; Boris Yakobowski (TLDI, 2007)

From ML to MLF: graphic type constraints with efficient type inference. - Didier Rémy; Boris Yakobowski (ICFP, 2008)

Modeling abstract types in modules with open existential types. - Benoît Montagu; Didier Rémy (POPL, 2009)

Recasting MLF. - Didier Le Botlan; Didier Rémy (Inf. Comput., 2009)

A Church-Style Intermediate Language for MLF. - Didier Rémy; Boris Yakobowski (FLOPS, 2010)

On the power of coercion abstraction. - Julien Cretin; Didier Rémy (POPL, 2012)

GADT meet Subtyping - Gabriel Scherer; Didier Rémy (CoRR, 2012)

A church-style intermediate language for MLF. - Didier Rémy; Boris Yakobowski (Theor. Comput. Sci., 2012)

Ambivalent Types for Principal Type Inference with GADTs. - Jacques Garrigue; Didier Rémy (APLAS, 2013)

GADTs Meet Subtyping. - Gabriel Scherer; Didier Rémy (ESOP, 2013)

System F with coercion constraints. - Julien Cretin; Didier Rémy (CSL-LICS, 2014)

Ornaments in practice. - Thomas Williams; Pierre-Évariste Dagand; Didier Rémy (WGP@ICFP, 2014)

MLF: raising ML to the power of system F. - Didier Le Botlan; Didier Rémy (ACM SIGPLAN Notices, 2014)

Full Reduction in the Face of Absurdity. - Gabriel Scherer; Didier Rémy (ESOP, 2015)

Which simple types have a unique inhabitant? - Gabriel Scherer; Didier Rémy (ICFP, 2015)

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). - Didier Rémy (Haskell, 2017)

A principled approach to ornamentation in ML. - Thomas Williams; Didier Rémy (Proc. ACM Program. Lang., 2018)

Fulfilling OCaml Modules with Transparency. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2024)

Avoiding Signature Avoidance in ML Modules with Zippers. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2025)