Pages that link to "Item:Q2638759"
From MaRDI portal
The following pages link to Kernel-LEAF: A logic plus functional language (Q2638759):
Displayed 6 items.
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)