The following pages link to (Q2729761):
Displaying 8 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← 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)
- Reporting Failures in Functional Logic Programs (Q2873788) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
