Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hugo Férée
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ETAPS 2019 profile
ICFP 2022 profile
PLDI 2019 profile
POPL 2018 profile
POPL 2023 profile
Registered user since Fri 6 Oct 2017
Name:
Hugo Férée
Country:
United Kingdom
Affiliation:
University of Kent, UK
Personal website:
https://hugo.feree.fr
Contributions
CPP 2023
Author of Formalizing and computing propositional quantifiers within the CPP 2023-track
ICFP 2022
France in Evaluators within the Artifact Evaluation-track
PLDI 2019
Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
DICE-FOPARA 2019
PC Member in Program Committee within the DICE-FOPARA-track
ECOOP 2018
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
CPP 2018
Author of Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations within the CPP 2018-track
Share
x
Tue 31 Jan 20:21