The following pages link to (Q2767032):
Displaying 4 items.
- A residualizing semantics for the partial evaluation of functional logic programs. (Q1853170) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)