Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alban Reynaud
conf.researchr.org general profile
ICFP 2019 profile
POPL 2021 profile
SPLASH 2022 profile
Registered user since Sat 7 Nov 2020
Name:
Alban Reynaud
Country:
France
Affiliation:
ENS Lyon
Contributions
2022
SPLASH
Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track
2021
POPL
Author of A Practical Mode System for Recursive Definitions within the POPL-track
2019
ML
Author of A right-to-left type system for value recursion within the ML 2019-track
Share
x
Sun 1 Sep 11:13