Didier Rémy

Identifiants chercheurs

IdHAL :

didier-remy

ORCID :

0000-0002-0693-6278

IdRef :

080653553

Publications

Communication dans un congrès (22)

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
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
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
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
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
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
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
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
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
GADTs Meet Subtyping Gabriel Scherer,Didier Rémy ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark Communication dans un congrès hal-01093816v1
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
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
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

Rapport (11)

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
The OCaml system release 5.4: Documentation and user's manual Xavier Leroy,Damien Doligez,Alain Frisch,Jacques Garrigue,Didier Rémyet al. [Intern report] Inria. 2025, pp.1107 Rapport hal-00930213v12
A Principled Approach to Ornamentation in ML Thomas Williams,Didier Rémy [Research Report] Inria. 2017 Rapport (rapport de recherche) hal-01628060v1
System F with Coercion Constraints Julien Cretin,Didier Rémy [Research Report] RR-8456, INRIA. 2014, pp.36 Rapport (rapport de recherche) hal-00934408v1
Full reduction in the face of absurdity Gabriel Scherer,Didier Rémy [Research Report] INRIA. 2014 Rapport (rapport de recherche) hal-01093910v1
GADT meet Subtyping Gabriel Scherer,Didier Rémy [Research Report] RR-8114, INRIA. 2012, pp.33 Rapport (rapport de recherche) hal-00744292v1
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
Syntactic theories and the algebra of record terms Didier Rémy [Research Report] RR-1869, INRIA. 1993 Rapport (rapport de recherche) inria-00074804v1
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
Typing record concatenation for free Didier Rémy [Research Report] RR-1739, INRIA. 1992 Rapport (rapport de recherche) inria-00076978v1
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

Article dans une revue (5)

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

Ouvrages (2)

Cybersécurité Steve Kremer,Ludovic Mé,Didier Rémy,Vincent Roca Inria, 3, pp.18, 2019, Inria white book Ouvrages hal-02414281v1
Cybersecurity Steve Kremer,Ludovic Mé,Didier Rémy,Vincent Roca Inria, 3, pp.172, 2019, Inria white book Ouvrages hal-01993308v1

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (1)

Ambivalent Types for Principal Type Inference with GADTs (extended version) Jacques Garrigue,Didier Rémy 2013 Pré-publication, Document de travail hal-00914493v2