Didier Rémy -

Registered user since Fri 19 Dec 2014

Name:Didier Rémy

Affiliation:Inria

Contributions

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