Pages that link to "Item:Q3498436"
From MaRDI portal
The following pages link to On a Tighter Integration of Functional and Logic Programming (Q3498436):
Displayed 8 items.
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- On the correctness of pull-tabbing (Q3087454) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Monadic constraint programming (Q3648354) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Purely functional lazy nondeterministic programming (Q4918241) (← links)