Henryk Jan Komorowski. Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. In POPL. pages 255-267, 1982.
No references recorded for this publication.
No citations of this publication recorded.