Registered user since Thu 1 Jul 2021
Name:Nicolas Chataing
Country:France
Affiliation:ENS Paris
Contributions
| ICFP 2021 | Catala: A Programming Language for the Law | ||||||||||||||||||||||||||||||||||||||||
| ML 2021 | Unfolding ML datatype declarations without loops | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile