Correct and Complete Type Checking and Certified Erasure for Coq, in Coq - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Correct and Complete Type Checking and Certified Erasure for Coq, in Coq

Fichier principal
Vignette du fichier
main.pdf (944 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04077552 , version 1 (21-04-2023)
hal-04077552 , version 2 (11-09-2024)

Identifiants

  • HAL Id : hal-04077552 , version 2

Citer

Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand, Jakob Botsch Nielsen, Nicolas Tabareau, et al.. Correct and Complete Type Checking and Certified Erasure for Coq, in Coq. 2023. ⟨hal-04077552v2⟩
609 Consultations
540 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More