conf.researchr.org / Alban Reynaud
Registered user since Sat 7 Nov 2020
Name:Alban Reynaud
Affiliation:ENS Lyon
Contributions
| 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 |