MetaCoq : de la métaprogrammation à l'extraction certifiée pour Coq - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2024

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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
jfla2024-paper-sozeau.pdf (26.95 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Delphine Demange  : Connect in order to contact the contributor

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

Submitted on : Saturday, January 20, 2024-10:26:48 AM

Last modification on : Wednesday, November 20, 2024-1:06:19 PM

Download

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-04407164 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE JFLA2024 JFLA
46 View
94 Download

Share

More