MetaCoq : de la métaprogrammation à l'extraction certifiée pour Coq - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

MetaCoq : de la métaprogrammation à l'extraction certifiée pour Coq

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
jfla2024-paper-sozeau.pdf (26.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Delphine Demange  : Connectez-vous pour contacter le contributeur

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

Soumis le : samedi 20 janvier 2024-10:26:48

Dernière modification le : mercredi 20 novembre 2024-13:06:19

Télécharger pour visualiser

Dates et versions

hal-04407164 , version 1 (20-01-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04407164 , version 1

Citer

Matthieu Sozeau. MetaCoq : de la métaprogrammation à l'extraction certifiée pour Coq. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04407164⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE JFLA2024 JFLA
35 Consultations
87 Téléchargements

Partager

More