## Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

*A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types*

ICLP, 1997.

@inproceedings{ILPS-1997-Arenas-SanchezR, author = "Puri Arenas-Sánchez and Mario Rodríguez-Artalejo", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-63180-6", pages = "53--67", publisher = "{MIT Press}", title = "{A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types}", year = 1997, }