• Sign in
  • Sign up
conf.researchr.org / Nicolas Tabareau
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2025 profile
No Photo

Not registered as user

Name:Nicolas Tabareau
Affiliation:Inria

Contributions

2025

CoqPL

  • Panelist of Session with the Coq Development Team within the CoqPL 2025-track

2022

POPL

  • Author of Gradualizing the Calculus of Inductive Constructions within the POPL-track

2019

CPP

  • Session Chair of Research Papers: Program Verification (part of CPP 2019)
Share
xSun 11 May 23:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up