A residualizing semantics for the partial evaluation of functional logic programs
- Albert, E.
- Hanus, M.
- Vidal, G.
ISSN: 0020-0190
Datum der Publikation: 2003
Ausgabe: 85
Nummer: 1
Seiten: 19-25
Art: Artikel
ISSN: 0020-0190
Datum der Publikation: 2003
Ausgabe: 85
Nummer: 1
Seiten: 19-25
Art: Artikel