Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.

Laura Lafave, John P. Gallagher

Browse the full LOPSTR paper archive.