A general framework for lazy functional logic programming with algebraic polymorphic types

  1. Arenas-Sánchez, P.
  2. Rodríguez-Artalejo, M.
Journal:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Year of publication: 2001

Volume: 1

Issue: 2

Pages: 185-245

Type: Article