| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 7 |      | Pierre Letouzey: Extraction in Coq: An Overview. CiE 2008: 359-369 |
| 2006 | ||
| 6 | | Laurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35 |
| 5 | | 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 | | Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006) |
| 2004 | ||
| 3 | | Jean-Christophe Filliâtre, Pierre Letouzey: Functors for Proofs and Programs. ESOP 2004: 370-384 |
| 2002 | ||
| 2 | | 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] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page