Pages that link to "Item:Q2726287"
From MaRDI portal
The following pages link to An evaluation semantics for narrowing-based functional logic languages (Q2726287):
Displaying 6 items.
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- (Q2763636) (← links)
- Evaluation strategies for functional logic programming (Q2841220) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- (Q4919765) (← links)
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)