A residualizing semantics for the partial evaluation of functional logic programs

  1. Albert, E.
  2. Hanus, M.
  3. Vidal, G.
Aldizkaria:
Information Processing Letters

ISSN: 0020-0190

Argitalpen urtea: 2003

Alea: 85

Zenbakia: 1

Orrialdeak: 19-25

Mota: Artikulua

DOI: 10.1016/S0020-0190(02)00336-8 GOOGLE SCHOLAR
Datuen iturria: Scopus