A residualizing semantics for the partial evaluation of functional logic programs
- Albert, E.
- Hanus, M.
- Vidal, G.
ISSN: 0020-0190
Année de publication: 2003
Volumen: 85
Número: 1
Pages: 19-25
Type: Article
ISSN: 0020-0190
Année de publication: 2003
Volumen: 85
Número: 1
Pages: 19-25
Type: Article