• Sign in
  • Sign up
conf.researchr.org / Alban Reynaud
  • 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
xWed 1 Feb 10:30
using conf.researchr.org (v1.58.0)
Support page
Sign Up