The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

Jean-François Monin
  • Function : Author
Fichier principal
Vignette du fichier
the_braga_method.pdf (682.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03338785 , version 1 (30-09-2021)

Identifiers

Cite

Dominique Larchey-Wendling, Jean-François Monin. The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq. Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩. ⟨hal-03338785⟩
89 View
173 Download

Altmetric

Share

Gmail Facebook X LinkedIn More