Not registered as user yet

Name: Alban Reynaud

Affiliation: ENS Lyon

Contributions

ML 2019Author of A right-to-left type system for value recursion within the ML 2019-track