Pages that link to "Item:Q2817728"
From MaRDI portal
The following pages link to Specialization of inductively sequential functional logic programs (Q2817728):
Displaying 4 items.
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)