Touring the MetaCoq Project (Invited Paper) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Touring the MetaCoq Project (Invited Paper)

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
Touring_the_MetaCoq_Project-LFMTP21.pdf (3.81 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Matthieu Sozeau  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 7 janvier 2022-11:59:37

Dernière modification le : mardi 16 janvier 2024-16:27:41

Archivage à long terme le : vendredi 8 avril 2022-18:50:20

Télécharger pour visualiser

Dates et versions

hal-03516619 , version 1 (07-01-2022)

Licence

Paternité

Identifiants

  • HAL Id : hal-03516619 , version 1

Citer

Matthieu Sozeau. Touring the MetaCoq Project (Invited Paper). LFMTP 2021 - Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2021, Pittsburg, United States. pp.1-17. ⟨hal-03516619⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM INRIA2 GENCI LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
33 Consultations
55 Téléchargements

Partager

Gmail Facebook X LinkedIn More