A residualizing semantics for the partial evaluation of functional logic programs
- Albert, E.
- Hanus, M.
- Vidal, G.
ISSN: 0020-0190
Year of publication: 2003
Volume: 85
Issue: 1
Pages: 19-25
Type: Article
ISSN: 0020-0190
Year of publication: 2003
Volume: 85
Issue: 1
Pages: 19-25
Type: Article