Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pierre Vial
conf.researchr.org general profile
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
x
Thu 11 Aug 17:37