Kernel-LEAF
From MaRDI portal
Cited in
(42)- Relating the implementation techniques of functional and functional logic languages
- scientific article; zbMATH DE number 512892 (Why is no real title available?)
- Improving the efficiency of non-deterministic computations
- Incremental constraint satisfaction for equational logic programming
- scientific article; zbMATH DE number 1973220 (Why is no real title available?)
- The narrowing-driven approach to functional logic program specialization
- Programming with narrowing: a tutorial
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- Ensuring the quasi-termination of needed narrowing computations
- scientific article; zbMATH DE number 1973219 (Why is no real title available?)
- Operational semantics for declarative multi-paradigm languages
- Term Rewriting and Applications
- scientific article; zbMATH DE number 2048606 (Why is no real title available?)
- Completeness results for basic narrowing
- Cost-augmented partial evaluation of functional logic programs
- An integrated framework for the diagnosis and correction of rule-based programs
- scientific article; zbMATH DE number 549952 (Why is no real title available?)
- scientific article; zbMATH DE number 515736 (Why is no real title available?)
- Evaluation strategies for functional logic programming
- ObjectCurry
- BABEL
- ECCE
- Curry
- Kima
- TeaBag
- TOY
- PAKCS
- OPTYap
- DiSCiPl
- scientific article; zbMATH DE number 1380895 (Why is no real title available?)
- Higher-order narrowing with definitional trees
- NARROWER
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- A debugging scheme for functional logic programs
- Functional Logic Programming: From Theory to Curry
- Kernel-LEAF: A logic plus functional language
- A declarative debugging system for lazy functional logic programs
- Declarative debugging of functional logic programs
- scientific article; zbMATH DE number 5007860 (Why is no real title available?)
This page was built for software: Kernel-LEAF
