Skip to Main content Skip to Navigation
Book sections

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

Complete list of metadata

https://hal.inria.fr/hal-03338785
Contributor : Dominique Larchey-Wendling Connect in order to contact the contributor
Submitted on : Thursday, September 30, 2021 - 11:33:58 AM
Last modification on : Tuesday, October 19, 2021 - 11:24:55 AM
Long-term archiving on: : Friday, December 31, 2021 - 7:40:58 PM

File

the_braga_method.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

52

Files downloads

66