conf.researchr.org / Didier Rémy

Registered user since Fri 19 Dec 2014

Name: Didier Rémy

Affiliation: Inria

Contributions

ML 2018Author of Disornamentation within the ML 2018-track
Haskell 2017Author of Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk) within the Haskell 2017-track
POPL 2018Author 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
ML 2016Committee Member in Steering Committee within the ML-track
Session Chair of Implementation (part of ML)
ESOP 2015Author of Full reduction in the face of absurdity within the ESOP-track