Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Extraction in Coq: An Overview | 44 | 2.28 | 2008 |
| A Large-Scale Experiment in Executing Extracted Programs | 8 | 0.64 | 2006 |
| Coq | 0 | 0.34 | 2006 |
| Functors for Proofs and Programs | 15 | 1.07 | 2004 |
| A new extraction for Coq | 74 | 4.13 | 2002 |
| Formalizing Stålmarck's Algorithm in Coq | 2 | 0.38 | 2000 |