• Sign in
  • Sign up
conf.researchr.org / Nicolas Chataing
  • ICFP 2021 profile
  • POPL 2024 profile
No Photo

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
xSat 10 May 03:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up