P. A. Subrahmanyam, Jia-Huai You
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs
POPL, 1984.
@inproceedings{POPL-1984-SubrahmanyamY, author = "P. A. Subrahmanyam and Jia-Huai You", booktitle = "{Conference Record of the 11th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/800017.800534", editor = "Ken Kennedy and Mary S. Van Deusen and Larry Landweber", isbn = "0-89791-125-3", pages = "228--234", publisher = "{ACM Press}", title = "{Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs}", year = 1984, }