en ¦ fr > Exposés

Equivalence Between Typed and Untyped Conversion

juin 2022
Types
Meven Lennon-Bertrand
Slides Vidéo Résumé

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

janvier 2022
WITS
Matthieu Sozeau, Meven Lennon-Bertrand, Yannick Forster
Vidéo

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

janvier 2022
WITS
Meven Lennon-Bertrand
Slides Vidéo Résumé

Gradualizing the Calculus of Inductive Constructions

janvier 2022
TOPLAS journal-first presentation @ POPL
Slides Vidéo

Un calcul des constructions graduel

février 2021
Journées LHC
Meven Lennon-Bertrand
Slides Page

Gradualizing the Calculus of Inductive Constructions

janvier 2021
CPP Lightning Talk
Meven Lennon-Bertrand
Slides Vidéo

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.