• Sign in
  • Sign up
conf.researchr.org / Hugo Herbelin
  • ICFP 2022 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2023 profile
No Photo

Registered user since Sat 22 Jan 2022

Name:Hugo Herbelin

Contributions

2023

CoqPL

  • Committee Member in Program Committee within the CoqPL 2023-track

POPL

  • Committee Member in Program Committee within the POPL-track

2022

TyDe

  • Author of The impact of delimited control and call-by-need in proof theory within the TyDe 2022-track

CoqPL

  • Speaker of Session with the Coq Development Team within the CoqPL-track

2019

POPL

  • Committee Member in Program Committee within the Research Papers-track

2018

CoqPL

  • Committee Member in Program Committee within the -track

2017

TTT

  • Session Chair of Second Afternoon Session (part of TTT)
  • Author of Coq's Prolog and application to defining semi-automatic tactics within the TTT-track
Share
xWed 21 May 04:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up