A general framework for lazy functional logic programming with algebraic polymorphic types
- Arenas-Sánchez, P.
- Rodríguez-Artalejo, M.
ISSN: 1471-0684
Année de publication: 2001
Volumen: 1
Número: 2
Pages: 185-245
Type: Article
Revue:
Theory and Practice of Logic Programming