Cost-augmented partial evaluation of functional logic programs (2004)

by G Vidal
Venue:Higher-Order and Symbolic Computation