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
POPL 2018 profile
POPL 2025 profile
SPLASH 2024 profile
Registered user since Fri 19 Dec 2014
Name:
Didier Rémy
Affiliation:
Inria
Contributions
2025
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 22 Dec 09:23
