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

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

ISSN: 1471-0684

Año de publicación: 2001

Volumen: 1

Número: 2

Páginas: 185-245

Tipo: Artículo