A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types

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},
}