conf.researchr.org / Nicolas Chataing
Registered user since Thu 1 Jul 2021
Name:Nicolas Chataing
Affiliation:ENS Paris
Contributions
| ML 2021 | Author of Unfolding ML datatype declarations without loops within the ML 2021-track |
| ICFP 2021 | Author of Catala: A Programming Language for the Law within the Research Papers-track |