Jim Caldwell
Extracting Readable and Efficient Programs from Nuprl Proofs
James Caldwell, November 18, 1997
Formal Methods Program at NASA Langley Research Center
Jim Caldwell, February 7, 1995
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu