Julia L. Lawall
Proofs by Structural Induction using Partial Evaluation
PEPM, 1993.
@inproceedings{PEPM-1993-Lawall, author = "Julia L. Lawall", booktitle = "{Proceedings of the Third Symposium on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/154630.154646", isbn = "0-89791-594-1", pages = "155--166", publisher = "{ACM}", title = "{Proofs by Structural Induction using Partial Evaluation}", year = 1993, }