Pages that link to "Item:Q2456576"
From MaRDI portal
The following pages link to Evaluation strategies for functional logic programming (Q2456576):
Displaying 22 items.
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Cost-augmented partial evaluation of functional logic programs (Q1768472) (← links)
- An evaluation semantics for narrowing-based functional logic languages (Q2726287) (← links)
- (Q2763636) (← links)
- Evaluation strategies for functional logic programming (Q2841220) (← links)
- Reduction strategies for declarative programming (Q2841228) (← links)
- Type-level computation using narrowing in \(\Omega\)mega (Q2866338) (← links)
- Lazy context cloning for non-deterministic graph rewriting (Q2867896) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- Inductively Sequential Term-Graph Rewrite Systems (Q3540390) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- (Q5013811) (← links)
- (Q5020559) (← links)
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Optimistic evaluation (Q5261284) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)
