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

Any de publicació: 2001

Volum: 1

Número: 2

Pàgines: 185-245

Tipus: Article