• Sign in
  • Sign up
conf.researchr.org / Nathanaël Courant
  • ICFP 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile

Not registered as user yet

Name:Nathanaël Courant
Affiliation:INRIA

Contributions

POPL 2021 Author of Verified Code Generation for the Polyhedral Model within the POPL-track
VMCAI 2020 Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track
ML 2019 Author of Necro: Animating Skeletons within the ML 2019-track

Share
xThu 23 Mar 12:56
using conf.researchr.org (v1.59.1)
Support page
Sign Up