Didier Rémy

42
Documents
Affiliation actuelle
  • Centre Inria de Paris
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

On the design and implementation of Modular Explicits

Samuel Vivien , Didier Rémy , Gabriel Scherer

JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, France

Communication dans un congrès hal-05428136v1

Omnidirectional type inference for ML

Alistair O'Brien , Didier Rémy , Gabriel Scherer

WITS 2026. 5th Workshop on the Implementation of Type Systems, Jan 2026, Rennes, France

Communication dans un congrès hal-05438513v1

Implicit modules, a middle step towards modular implicits

Samuel Vivien , Didier Rémy , Gabriel Scherer

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025, Oct 2025, Singapore, Singapore

Communication dans un congrès hal-05444317v1
Deposit thumbnail

On the design and implementation of Modular Explicits

Samuel Vivien , Didier Rémy

OCaml Workshop @ ICFP 2024, Sep 2024, Milan, Italy

Communication dans un congrès hal-04877200v1
Deposit thumbnail

Retrofitting OCaml modules

Clément Blaudeau , Didier Rémy , Gabriel Radanne

JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100

Communication dans un congrès hal-03936636v2

Ornamentation put into Practice in ML

Didier Rémy

Seventh Workshop on Mathematically Structured Functional Programming (MSFP 2018), Jul 2018, Oxford, United Kingdom

Communication dans un congrès hal-02001695v1

Disornamentation

Lucas Baudin , Didier Rémy

ML 2018 - ML Family Workshop, Sep 2018, St. Louis, Missouri, United States

Communication dans un congrès hal-02001629v1

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk)

Didier Rémy

the 10th ACM SIGPLAN Symposium on Haskell, Sep 2017, Oxford, France. pp.1-1

Communication dans un congrès hal-02001268v1
Deposit thumbnail

Which simple types have a unique inhabitant?

Gabriel Scherer , Didier Rémy

The 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015), Aug 2015, Vancouver, Canada

Communication dans un congrès hal-01235596v1

Full reduction in the face of absurdity

Gabriel Scherer , Didier Rémy

ESOP'2015: European Conference on Programming Languages and Systems, Apr 2015, London, United Kingdom

Communication dans un congrès hal-01095390v1
Deposit thumbnail

Deciding unique inhabitants with sums (work in progress)

Gabriel Scherer , Didier Rémy

TYPES, May 2014, Paris, France

Communication dans un congrès hal-01094127v1
Deposit thumbnail

System F with Coercion Constraints

Julien Cretin , Didier Rémy

CSL-LICS 2014: Joint Meeting of the Annual Conference on Computer Science Logic and the Annual Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. pp.34, ⟨10.1145/2603088.2603128⟩

Communication dans un congrès hal-01093239v1

Ornaments in practice

Thomas Williams , Pierre-Évariste Dagand , Didier Rémy

WGP 2014: ACM workshop on Generic programming, Aug 2014, Gothenburg, Sweden. ⟨10.1145/2633628.2633631⟩

Communication dans un congrès hal-01081547v1
Deposit thumbnail

Ambivalent Types for Principal Type Inference with GADTs

Jacques Garrigue , Didier Rémy

APLAS 2013 - 11th Asian Symposium on Programming Languages and Systems, 2013, Melbourne, Australia. pp.257-272, ⟨10.1007/978-3-319-03542-0_19⟩

Communication dans un congrès hal-00914560v1
Deposit thumbnail

GADTs meet subtyping

Gabriel Scherer , Didier Rémy

ESOP 2013 - 22nd European Symposium on Programming, Mar 2013, Rome, Italy. pp.554-573, ⟨10.1007/978-3-642-37036-6⟩

Communication dans un congrès hal-00772993v2

On the Power of Coercion Abstraction

Julien Cretin , Didier Rémy

POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principle Of Programming Languages, ACM, Jan 2012, Philadelphia, United States. ⟨10.1145/2103656.2103699⟩

Communication dans un congrès hal-00650910v1
Deposit thumbnail

Tracing ambiguity in GADT type inference

Jacques Garrigue , Didier Rémy

ACM SIGPLAN Workshop on ML, Sep 2012, copenhagen, Denmark

Communication dans un congrès hal-01093845v1
Deposit thumbnail

GADTs Meet Subtyping

Gabriel Scherer , Didier Rémy

ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark

Communication dans un congrès hal-01093816v1
Deposit thumbnail

GADT meet subtyping

Gabriel Scherer , Didier Rémy

ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark

Communication dans un congrès hal-01093940v1

Modeling abstract types in modules with open existential types

Benoît Montagu , Didier Rémy

POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2009, Savannah GA USA, France. pp.354-365, ⟨10.1145/1480881.1480926⟩

Communication dans un congrès hal-04379860v1
Deposit thumbnail

Simple, partial type-inference for System F based on type-containment

Didier Rémy

Proceedings of the tenth International Conference on Functional Programming, Sep 2005, Tallinn, Estonia

Communication dans un congrès inria-00000938v1

Subtyping Recursive Types Modulo Associative Commutative Products

Roberto Di Cosmo , Didier Rémy , François Pottier

7th International Conference, TLCA 2005, Apr 2005, Nara, Japan. pp.179-193, ⟨10.1007/11417170_14⟩

Communication dans un congrès istex hal-00149563v1
Deposit thumbnail

Omnidirectional type inference for ML: principality any way

Alistair O'Brien , Didier Rémy , Gabriel Scherer

University of Cambridge, INRIA, IRIF, Université Paris Cité. 2025

Rapport hal-05438544v1
Deposit thumbnail

The OCaml system release 5.4: Documentation and user's manual

Xavier Leroy , Damien Doligez , Alain Frisch , Jacques Garrigue , Didier Rémy et al.

[Intern report] Inria. 2025, pp.1107

Rapport hal-00930213v12
Deposit thumbnail

A Principled Approach to Ornamentation in ML

Thomas Williams , Didier Rémy

[Research Report] Inria. 2017

Rapport (rapport de recherche) hal-01628060v1
Deposit thumbnail

Full reduction in the face of absurdity

Gabriel Scherer , Didier Rémy

[Research Report] INRIA. 2014

Rapport (rapport de recherche) hal-01093910v1
Deposit thumbnail

System F with Coercion Constraints

Julien Cretin , Didier Rémy

[Research Report] RR-8456, INRIA. 2014, pp.36

Rapport (rapport de recherche) hal-00934408v1
Deposit thumbnail

GADT meet Subtyping

Gabriel Scherer , Didier Rémy

[Research Report] RR-8114, INRIA. 2012, pp.33

Rapport (rapport de recherche) hal-00744292v1
Deposit thumbnail

On the Power of Coercion Abstraction

Julien Cretin , Didier Rémy

[Research Report] RR-7587, INRIA. 2011, pp.59

Rapport (rapport de recherche) inria-00582570v3
Deposit thumbnail

Syntactic theories and the algebra of record terms

Didier Rémy

[Research Report] RR-1869, INRIA. 1993

Rapport (rapport de recherche) inria-00074804v1
Deposit thumbnail

Extension of ML type system with a sorted equation theory on types

Didier Rémy

[Research Report] RR-1766, INRIA. 1992

Rapport (rapport de recherche) inria-00077006v1
Deposit thumbnail

Typing record concatenation for free

Didier Rémy

[Research Report] RR-1739, INRIA. 1992

Rapport (rapport de recherche) inria-00076978v1
Deposit thumbnail

Type inference for records in a natural extension of ML

Didier Rémy

[Research Report] RR-1431, INRIA. 1991

Rapport (rapport de recherche) inria-00075129v1
Deposit thumbnail

Avoiding Signature Avoidance in ML Modules with Zippers

Clément Blaudeau , Didier Rémy , Gabriel Radanne

Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩

Article dans une revue hal-04801582v1
Deposit thumbnail

Fulfilling OCaml Modules with Transparency

Clément Blaudeau , Didier Rémy , Gabriel Radanne

Proceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA1), pp.194-222. ⟨10.1145/3649818⟩

Article dans une revue hal-04794404v1
Deposit thumbnail

A Principled Approach to Ornamentation in ML

Thomas Williams , Didier Rémy

Proceedings of the ACM on Programming Languages, 2018, pp.1-30. ⟨10.1145/3158109⟩

Article dans une revue hal-01666104v1
Deposit thumbnail

A Church-Style Intermediate Language for MLF

Didier Rémy , Boris Yakobowski

Theoretical Computer Science, 2012, 435, pp.77--105. ⟨10.1016/j.tcs.2012.02.026⟩

Article dans une revue hal-01093719v1
Deposit thumbnail

Recasting MLF

Didier Le Botlan , Didier Rémy

Information and Computation, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩

Article dans une revue inria-00156628v4
Deposit thumbnail

Cybersécurité

Steve Kremer , Ludovic Mé , Didier Rémy , Vincent Roca

Inria, 3, pp.18, 2019, Inria white book

Ouvrages hal-02414281v1
Deposit thumbnail

Cybersecurity

Steve Kremer , Ludovic Mé , Didier Rémy , Vincent Roca

Inria, 3, pp.172, 2019, Inria white book

Ouvrages hal-01993308v1
Deposit thumbnail

From Amber to Coercion Constraints

Didier Rémy , Julien Cretin

Martin Abadi; Philippa Gardner; Andrew D. Gordon; Radu Mardare. Essays for the Luca Cardelli Fest, MSR-TR-2014-104, Microsoft Research, 2014, TechReport

Chapitre d'ouvrage hal-01093216v1