The following pages link to (Q4038667):
Displaying 4 items.
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Logical description of context-free graph languages (Q1384534) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)