en ¦ fr > Talks

Gradualizing the Calculus of Inductive Constructions

Présentation de notre article à TOPLAS à POPL 2022.

Slides Page

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