| 2017 | HASKELL | Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). | Didier Rmy |
| 2015 | ESOP | Full Reduction in the Face of Absurdity. | Gabriel Scherer, Didier Rmy |
| 2015 | ICFP | Which simple types have a unique inhabitant? | Gabriel Scherer, Didier Rmy |
| 2014 | CSL | System F with coercion constraints. | Julien Cretin, Didier Rmy |
| 2014 | ICFP | Ornaments in practice. | Thomas Williams, Pierre-variste Dagand, Didier Rmy |
| 2013 | APLAS | Ambivalent Types for Principal Type Inference with GADTs. | Jacques Garrigue, Didier Rmy |
| 2013 | ESOP | GADTs Meet Subtyping. | Gabriel Scherer, Didier Rmy |
| 2012 | POPL | On the power of coercion abstraction. | Julien Cretin, Didier Rmy |
| 2010 | FLOPS | A Church-Style Intermediate Language for ML | Didier Rmy, Boris Yakobowski |
| 2009 | POPL | Modeling abstract types in modules with open existential types. | Benot Montagu, Didier Rmy |
| 2008 | ICFP | From ML to ML | Didier Rmy, Boris Yakobowski |
| 2005 | ICFP | Simple, partial type-inference for System F based on type-containment. | Didier Rmy |
| 2003 | ICFP | ML | Didier Le Botlan, Didier Rmy |
| 1998 | ESOP | From Classes to Objects via Subtyping. | Didier Rmy |
| 1997 | CONCUR | Implicit Typing la ML for the Join-Calculus. | Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy |
| 1997 | POPL | Objective ML: A Simple Object-Oriented Extension of ML. | Didier Rmy, Jerome Vouillon |
| 1996 | CONCUR | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1992 | POPL | Typing Record Concatenation for Free. | Didier Rmy |
| 1989 | POPL | Typechecking Records and Variants in a Natural Extension of ML. | Didier Rmy |