dblp.uni-trier.dewww.uni-trier.de

Pierre Letouzey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEPierre Letouzey: Extraction in Coq: An Overview. CiE 2008: 359-369
2006
6EELaurent Théry, Pierre Letouzey, Georges Gonthier: Coq. The Seventeen Provers of the World 2006: 28-35
5EELuís Cruz-Filipe, Pierre Letouzey: A Large-Scale Experiment in Executing Extracted Programs. Electr. Notes Theor. Comput. Sci. 151(1): 75-91 (2006)
4EEUlrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006)
2004
3EEJean-Christophe Filliâtre, Pierre Letouzey: Functors for Proofs and Programs. ESOP 2004: 370-384
2002
2EEPierre 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

Coauthor Index

1Ulrich Berger [4]
2Stefan Berghofer [4]
3Luís Cruz-Filipe [5]
4Jean-Christophe Filliâtre [3]
5Georges Gonthier [6]
6Helmut Schwichtenberg [4]
7Laurent Théry [1] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)