Correct and Complete Type Checking and Certified Erasure for Coq, in Coq - Inria - Institut national de recherche en sciences et technologies du numérique
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.pdf (944 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Meven LENNON-BERTRAND  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 11 septembre 2024-13:53:02

Dernière modification le : mercredi 20 novembre 2024-13:42:51

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN EC-NANTES UNAM CENTRALESUPELEC INRIA2 LS2N UNIV-PARIS-SACLAY LS2N-GALLINETTE IMT-ATLANTIQUE ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
1092 Consultations
774 Téléchargements

Partager

More