A Large-Scale Experiment in Executing Extracted Programs (2005)

by L Cruz-Filipe, P Letouzey
Venue:In 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus'2005