Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Chataing
conf.researchr.org general profile
ICFP 2021 profile
POPL 2024 profile
Registered user since Thu 1 Jul 2021
Name:
Nicolas Chataing
Affiliation:
ENS Paris
Contributions
2024
POPL
Author of Unboxed data constructors -- or, how cpp decides a halting problem within the POPL-track
2021
ICFP
Author of Catala: A Programming Language for the Law within the Research Papers-track
ML
Author of Unfolding ML datatype declarations without loops within the ML 2021-track
Share
x
Sat 25 Oct 10:34