The following pages link to PAKCS (Q25602):
Displayed 25 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← 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)
- Lazy Context Cloning for Non-Deterministic Graph Rewriting (Q2867896) (← links)
- Reporting Failures in Functional Logic Programs (Q2873788) (← links)
- A Framework for Interpreting Traces of Functional Logic Computations (Q2873790) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- (Q3372484) (← links)
- (Q3372485) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- The integration of functions into logic programming: From theory to practice (Q4305632) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Implementing functional logic languages using multiple threads and stores (Q5178026) (← links)
- Declaring Numbers (Q5403480) (← links)
- A Virtual Machine for Functional Logic Computations (Q5423547) (← links)
- Logic Programming (Q5475783) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)