Pages that link to "Item:Q2456574"
From MaRDI portal
The following pages link to Operational semantics for declarative multi-paradigm languages (Q2456574):
Displayed 6 items.
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)