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] |