Pages that link to "Item:Q1853170"
From MaRDI portal
The following pages link to A residualizing semantics for the partial evaluation of functional logic programs. (Q1853170):
Displaying 4 items.
- Cost-augmented partial evaluation of functional logic programs (Q1768472) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- An operational semantics for declarative multi-paradigm languages (Q2843603) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)