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
SPLASH 2022
Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track
POPL 2021
Author of A Practical Mode System for Recursive Definitions within the POPL-track
ML 2019
Author of A right-to-left type system for value recursion within the ML 2019-track
Share
x
Wed 1 Feb 10:30