A residualizing semantics for the partial evaluation of functional logic programs

Elvira Albert, Michael Hanus, Germán Vidal. A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett., 85(1):19-25, 2003. [doi]

Abstract

Abstract is missing.