• Sign in
  • Sign up
conf.researchr.org / Pierre Vial
  • POPL 2023 profile
No Photo

Not registered as user

Name:Pierre Vial
Affiliation:Inria

Contributions

2023

CPP

  • Author of Compositional pre-processing for automated reasoning in dependent type theory within the CPP 2023-track
Share
xWed 21 May 05:28
using conf.researchr.org (v1.69.0)
Support page
Sign Up