Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (1982)

by H J Komorowski
Venue:In Proc. of 9th ACM Symposium on Principles of Programming Languages