Didier Rémy

42
Documents
Affiliation actuelle
  • Centre Inria de Paris
Identifiants chercheurs

Publications

Publications

Image document

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-05428136 v1

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-05438513 v1

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-05444317 v1
Image document

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-04877200 v1
Image document

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-03936636 v2

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-02001695 v1

Disornamentation

Lucas Baudin , Didier Rémy
ML 2018 - ML Family Workshop, Sep 2018, St. Louis, Missouri, United States
Communication dans un congrès hal-02001629 v1

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-02001268 v1
Image document

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-01235596 v1

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-01095390 v1
Image document

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-01093239 v1
Image document

Deciding unique inhabitants with sums (work in progress)

Gabriel Scherer , Didier Rémy
TYPES, May 2014, Paris, France
Communication dans un congrès hal-01094127 v1

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-01081547 v1
Image document

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-00914560 v1
Image document

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-00772993 v2
Image document

GADTs Meet Subtyping

Gabriel Scherer , Didier Rémy
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Communication dans un congrès hal-01093816 v1
Image document

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-01093845 v1

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-00650910 v1
Image document

GADT meet subtyping

Gabriel Scherer , Didier Rémy
ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark
Communication dans un congrès hal-01093940 v1

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-04379860 v1
Image document

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-00000938 v1

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-00149563 v1
Image document

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-04801582 v1
Image document

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-04794404 v1
Image document

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-01666104 v1
Image document

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-01093719 v1
Image document

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-00156628 v4
Image document

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-05438544 v1
Image document

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

Xavier Leroy , Damien Doligez , Alain Frisch , Jacques Garrigue , Didier Rémy et al.
[Intern report] Inria. 2024, pp.1044
Rapport hal-00930213 v11
Image document

A Principled Approach to Ornamentation in ML

Thomas Williams , Didier Rémy
[Research Report] Inria. 2017
Rapport (rapport de recherche) hal-01628060 v1
Image document

System F with Coercion Constraints

Julien Cretin , Didier Rémy
[Research Report] RR-8456, INRIA. 2014, pp.36
Rapport (rapport de recherche) hal-00934408 v1
Image document

Full reduction in the face of absurdity

Gabriel Scherer , Didier Rémy
[Research Report] INRIA. 2014
Rapport (rapport de recherche) hal-01093910 v1
Image document

GADT meet Subtyping

Gabriel Scherer , Didier Rémy
[Research Report] RR-8114, INRIA. 2012, pp.33
Rapport (rapport de recherche) hal-00744292 v1
Image document

On the Power of Coercion Abstraction

Julien Cretin , Didier Rémy
[Research Report] RR-7587, INRIA. 2011, pp.59
Rapport (rapport de recherche) inria-00582570 v3
Image document

Syntactic theories and the algebra of record terms

Didier Rémy
[Research Report] RR-1869, INRIA. 1993
Rapport (rapport de recherche) inria-00074804 v1
Image document

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-00077006 v1
Image document

Typing record concatenation for free

Didier Rémy
[Research Report] RR-1739, INRIA. 1992
Rapport (rapport de recherche) inria-00076978 v1
Image document

Type inference for records in a natural extension of ML

Didier Rémy
[Research Report] RR-1431, INRIA. 1991
Rapport (rapport de recherche) inria-00075129 v1
Image document

Cybersécurité

Steve Kremer , Ludovic Mé , Didier Rémy , Vincent Roca
Inria, 3, pp.18, 2019, Inria white book
Ouvrages hal-02414281 v1
Image document

Cybersecurity

Steve Kremer , Ludovic Mé , Didier Rémy , Vincent Roca
Inria, 3, pp.172, 2019, Inria white book
Ouvrages hal-01993308 v1
Image document

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-01093216 v1