The following pages link to The next 700 Krivine machines (Q2464721):
Displaying 9 items.
- Reversible, irreversible and optimal \(\lambda\)-machines (Q1575873) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- Explaining the lazy Krivine machine using explicit substitution and addresses (Q2464715) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- Krivine nets: a semantic foundation for distributed execution (Q2819699) (← links)
- A certified extension of the Krivine machine for a call-by-name higher-order imperative language (Q2968419) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Programming Languages and Systems (Q5464039) (← links)
- Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)
