@InProceedings{Let2008, author = {P. Letouzey}, title = {{Coq Extraction, an Overview}}, booktitle = {{Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008}}, editor = {A. Beckmann, C. Dimitracopoulos, and B. L{\"o}we}, volume = 5028, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 2008 }