Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rémi Douence
conf.researchr.org general profile
ICFP 2019 profile
STAF 2024 profile
Not registered as user
Name:
Rémi Douence
Affiliation:
IMT Atlantique
Contributions
2024
ECMFA
Author of Automated Proof Tactics for Model Transformation within the Technical Track-track
2019
ML
Author of Efficient Deconstruction with Typed Pointer Reversal within the ML 2019-track
Share
x
Sat 21 Dec 19:37