Pages that link to "Item:Q3591075"
From MaRDI portal
The following pages link to Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (Q3591075):
Displaying 4 items.
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (Q3617429) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)