• Sign in
  • Sign up
conf.researchr.org / Meven Lennon-Bertrand
  • ICFP 2022 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2024 profile
Meven Lennon-Bertrand

Registered user since Tue 12 Jan 2021

Name:Meven Lennon-Bertrand
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: http://www.meven.ac
GitHub: https://github.com/MevenBertrand

Contributions

2024

POPL

  • Author of MetaCoq Tutorial within the TutorialFest-track

CPP

  • Author of Martin-Löf à la Coq within the CPP 2024-track

2022

ICFP

  • Author of A Reasonably Gradual Type Theory within the ICFP Papers and Events-track
  • Author of Typed and Untyped Algorithmic Conversion are Equivalent within the Student Research Competition-track
  • France in Evaluators within the Artifact Evaluation-track

POPL

  • Author of Gradualizing the Calculus of Inductive Constructions within the POPL-track

WITS

  • Author of The curious case of case: correct & efficient representation of case analysis in Coq and MetaCoq within the WITS 2022-track
  • Author of À bas l’η — Coq’s troublesome η-conversion within the WITS 2022-track

2021

CPP

  • Author of Gradualizing the Calculus of Inductive Constructions within the Lightning Talks-track
Share
xSun 15 Jun 20:28
using conf.researchr.org (v1.69.0)
Support page
Sign Up