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
POPL 2018 profile
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
Share
x
Thu 30 Jun 15:49