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 Web 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.