The following pages link to (Q4510397):
Displaying 5 items.
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Median filtering: a new insight (Q1707996) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
