@InProceedings{CruLet2005, author = {L. Cruz-Filipe and P. Letouzey}, title = {{A Large-Scale Experiment in Executing Extracted Programs}}, booktitle = {{12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus'2005}}, year = 2005, note = {{To appear}} }