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