Rafael del Vado Vírseda
A demand-driven narrowing calculus with overlapping definitional trees
PPDP, 2003.
@inproceedings{PPDP-2003-Virseda, author = "Rafael del Vado Vírseda", booktitle = "{Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/888251.888275", isbn = "1-58113-705-2", pages = "253--263", publisher = "{ACM}", title = "{A demand-driven narrowing calculus with overlapping definitional trees}", year = 2003, }