• Sign in
  • Sign up
conf.researchr.org / Pierre Vial
  • ICFP 2017 profile
  • POPL 2018 profile
  • POPL 2021 profile

Registered user since Wed 13 Sep 2017

Name:Pierre Vial

Contributions

POPL 2021 Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
FSCD 2017 Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track
POPL 2018 Author of Polyadic Approximations, Fibrations and Intersection Types within the Research Papers-track

Share
xThu 11 Aug 17:37
using conf.researchr.org (v1.56.0)
Support page
Sign Up