Julie Lawall
Proofs by Structural Induction using Partial Evaluation
Julie Lawall, Faculty Candidate, April 13, 1993
Melissa Totman
, Department of Computer Science, Cornell University, Ithaca, NY. Mail to:
mtotman@cs.cornell.edu
