A residualizing semantics for the partial evaluation of functional logic programs
- Albert, E.
- Hanus, M.
- Vidal, G.
ISSN: 0020-0190
Ano de publicación: 2003
Volume: 85
Número: 1
Páxinas: 19-25
Tipo: Artigo
ISSN: 0020-0190
Ano de publicación: 2003
Volume: 85
Número: 1
Páxinas: 19-25
Tipo: Artigo