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 6 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)