The following pages link to On the Correctness of Bubbling (Q3527282):
Displayed 4 items.
- Lazy Context Cloning for Non-Deterministic Graph Rewriting (Q2867896) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)