| |
| 2008 | ||
|---|---|---|
| 7 | EE | Pierre Letouzey: Extraction in Coq: An Overview. CiE 2008: 359-369 |
| 2006 | ||
| 6 | EE | Laurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35 |
| 5 | EE | Luís Cruz-Filipe, Pierre Letouzey: A Large-Scale Experiment in Executing Extracted Programs. Electr. Notes Theor. Comput. Sci. 151(1): 75-91 (2006) |
| 4 | EE | Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006) |
| 2004 | ||
| 3 | EE | Jean-Christophe Filliâtre, Pierre Letouzey: Functors for Proofs and Programs. ESOP 2004: 370-384 |
| 2002 | ||
| 2 | EE | Pierre Letouzey: A New Extraction for Coq. TYPES 2002: 200-219 |
| 2000 | ||
| 1 | Pierre Letouzey, Laurent Théry: Formalizing Stålmarck's Algorithm in Coq. TPHOLs 2000: 388-405 | |
| 1 | Ulrich Berger | [4] |
| 2 | Stefan Berghofer | [4] |
| 3 | Luís Cruz-Filipe | [5] |
| 4 | Jean-Christophe Filliâtre | [3] |
| 5 | Georges Gonthier | [6] |
| 6 | Helmut Schwichtenberg | [4] |
| 7 | Laurent Théry | [1] [6] |