Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hugo Herbelin
conf.researchr.org general profile
ICFP 2022 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2022 profile
POPL 2023 profile
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
x
Sun 3 Dec 15:58