Julie Lawall
Proofs by Structural Induction using Partial Evaluation
Julie Lawall, Faculty Candidate, April 13, 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu