Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alain Delaët
conf.researchr.org general profile
ICFP 2023 profile
ISSTA/ECOOP 2024 profile
POPL 2022 profile
Registered user since Sun 16 Jan 2022
Name:
Alain Delaët
Affiliation:
INRIA, ENS Lyon
Contributions
2024
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
ProLaLa
Author of Turning Catala into a Proof Platform for the Law within the ProLaLa Programming Languages and the Law-track
Share
x
Wed 18 Dec 15:23