The following pages link to (Q4364366):
Displayed 15 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Evaluation Strategies for Functional Logic Programming (Q2841220) (← links)
- Reduction Strategies for Declarative Programming (Q2841228) (← links)
- Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrad (Q2841287) (← links)
- Semantic Determinism and Functional Logic Program Properties (Q2864514) (← links)
- Lazy Context Cloning for Non-Deterministic Graph Rewriting (Q2867896) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Default rules for Curry (Q4593082) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)