Pages that link to "Item:Q2038078"
From MaRDI portal
The following pages link to An abstract machine for strong call by value (Q2038078):
Displaying 7 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Automating the functional correspondence between higher-order evaluators and abstract machines (Q6102250) (← links)
- A strong call-by-need calculus (Q6135746) (← links)
- Strong call-by-value and multi types (Q6605354) (← links)
- Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)