Pages that link to "Item:Q3591083"
From MaRDI portal
The following pages link to A Program Transformation for Tracing Functional Logic Computations (Q3591083):
Displaying 5 items.
- Reducing transformations for functional programs with assignment (Q1087006) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Reporting failures in functional logic programs (Q2873788) (← links)
- A framework for interpreting traces of functional logic computations (Q2873790) (← links)
- A Virtual Machine for Functional Logic Computations (Q5423547) (← links)