A residualizing semantics for the partial evaluation of functional logic programs
- Albert, E.
- Hanus, M.
- Vidal, G.
ISSN: 0020-0190
Any de publicació: 2003
Volum: 85
Número: 1
Pàgines: 19-25
Tipus: Article
ISSN: 0020-0190
Any de publicació: 2003
Volum: 85
Número: 1
Pàgines: 19-25
Tipus: Article