Puri Arenas-Sánchez, Mario Rodríguez-Artalejo. A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. TPLP, 1(2):185-245, 2001.
@article{Arenas-SanchezR01, title = {A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types}, author = {Puri Arenas-Sánchez and Mario Rodríguez-Artalejo}, year = {2001}, tags = {laziness, functional programming, logic programming, algebra, programming, logic}, researchr = {https://researchr.org/publication/Arenas-SanchezR01}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {1}, number = {2}, pages = {185-245}, }