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

Ano de publicación: 2001

Volume: 1

Número: 2

Páxinas: 185-245

Tipo: Artigo