• 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

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
xWed 18 Jun 02:03
using conf.researchr.org (v1.69.0)
Support page
Sign Up