Correct and Complete Type Checking and Certified Erasure for Coq, in Coq - Ecole Centrale de Nantes
Pré-Publication, Document De Travail Année : 2023

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

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main (1).pdf (877.68 Ko) Télécharger le fichier
licence
Paternité

Matthieu Sozeau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04077552

Soumis le : vendredi 21 avril 2023-15:00:42

Dernière modification le : jeudi 28 novembre 2024-14:52:02

Archivage à long terme le : samedi 22 juillet 2023-18:51:13

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04077552 , version 1

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-04077552v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
1219 Consultations
881 Téléchargements

Partager

More