Pages that link to "Item:Q3434630"
From MaRDI portal
The following pages link to A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630):
Displaying 5 items.
- Monadic constraint programming (Q3648354) (← links)
- Description and Optimization of Abstract Machines in a Dialect of Prolog (Q4593018) (← links)
- (Q5020559) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)