Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Didier Rémy
conf.researchr.org general profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
POPL 2018 profile
POPL 2025 profile
SPLASH 2024 profile
Registered user since Fri 19 Dec 2014
Name:
Didier Rémy
Affiliation:
Inria
Contributions
2025
ML
Author of Implicit modules, a middle step towards modular implicits within the ML Family Workshop 2025-track
POPL
Author of Avoiding signature avoidance in ML modules with zippers within the POPL-track
2024
SPLASH
Author of Fulfilling OCaml modules with transparency within the OOPSLA 2024-track
OCaml
Author of On the design and implementation of Modular Explicits within the OCaml Users and Developers Workshop 2024-track
2018
ML
Author of Disornamentation within the ML 2018-track
POPL
Author of A Principled approach to Ornamentation in ML within the Artifact Evaluation-track
Author of A Principled approach to Ornamentation in ML within the Research Papers-track
2017
Haskell
Author of Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk) within the Haskell 2017-track
2016
ML
Committee Member in Steering Committee within the ML-track
Session Chair of Implementation (part of ML)
2015
ESOP
Author of Full reduction in the face of absurdity within the ESOP-track
Share
x
Sun 26 Oct 16:03
