Proofs by structural induction using partial evaluation (1993)

by Julia L Lawall
Venue:Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation