A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs (2002)

by Elvira Albert , Michael Hanus , Germán Vidal
Venue:Information Processing Letters
Citations:4 - 3 self

Document Versions

A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs –Elvira Albert, Michael Hanus, Germán Vidal — 2002 — Information Processing Letters