en ¦ fr > Talks

The Curious Case of Case – Correct & Efficient Representation of Case Analysis in Coq and MetaCoq

January 2022
WITS
Matthieu Sozeau, Meven Lennon-Bertrand, Yannick Forster
Video

À bas l’η — Coq’s troublesome η-conversion

January 2022
WITS
Meven Lennon-Bertrand
Slides Video Abstract

Gradualizing the Calculus of Inductive Constructions

January 2022
TOPLAS journal-first presentation @ POPL
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Slides Video

Un calcul des constructions graduel

February 2021
Journées LHC
Meven Lennon-Bertrand
Slides Page

Gradualizing the Calculus of Inductive Constructions

January 2021
CPP Lightning Talk
Meven Lennon-Bertrand
Slides Video

Under Creative Commons CC0 License, source on github. Built using Pelican. Theme adapted from pelican-svbhack by Giulio Fidente.