Pages that link to "Item:Q5055714"
From MaRDI portal
The following pages link to Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714):
Displaying 3 items.
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)