Correct and Complete Type Checking and Certified Erasure for Coq, in Coq - Ecole Centrale de Nantes Access content directly
Preprints, Working Papers, ... Year :

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

Fichier principal
Vignette du fichier
main (1).pdf (877.68 Ko) Télécharger le fichier
licence : CC BY - Attribution

Dates and versions

hal-04077552 , version 1 (21-04-2023)

Identifiers

  • HAL Id : hal-04077552 , version 1

Cite

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-04077552⟩
52 View
75 Download

Share

Gmail Facebook Twitter LinkedIn More