Pages that link to "Item:Q2867956"
From MaRDI portal
The following pages link to Extra Variables Can Be Eliminated from Functional Logic Programs (Q2867956):
Displayed 6 items.
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- Equivalence of Two Formal Semantics for Functional Logic Programs (Q2867964) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)