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
2021
POPL
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
2018
POPL
Author of Polyadic Approximations, Fibrations and Intersection Types within the Research Papers-track
2017
FSCD
Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track
Share
x
Thu 21 Nov 16:55