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

Henryk Jan Komorowski

Browse the full POPL paper archive.