Pages that link to "Item:Q2464718"
From MaRDI portal
The following pages link to Improving the lazy Krivine machine (Q2464718):
Displaying 5 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- On the value of variables (Q2401632) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
