Partial Evaluation of Functional Logic Programs

Alpuente Frasnedo María, Vidal Oriola Germán Francisco

1998

ACM Transactions on Programming Languages and Systems