conf.researchr.org / Ambroise Lafont
Not registered as user yet
Name:Ambroise Lafont
Affiliation:Inria, France
Contributions
POPL 2020 | Author of Reduction Monads and Their Signatures within the Research Papers-track |
Not registered as user yet
Contributions
POPL 2020 | Author of Reduction Monads and Their Signatures within the Research Papers-track |