Pages that link to "Item:Q3625516"
From MaRDI portal
The following pages link to Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (Q3625516):
Displayed 13 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- A type system for the push-enter model (Q1014422) (← links)
- Explaining the lazy Krivine machine using explicit substitution and addresses (Q2464715) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- State-transition machines, revisited (Q2464722) (← links)
- Specialisation of Higher-Order Functions for Debugging (Q2841302) (← links)
- Structure and Properties of Traces for Functional Programs (Q2867898) (← links)
- NixOS: A purely functional Linux distribution (Q3021413) (← links)
- π-RED<sup>+</sup> An interactive compiling graph reduction system for an applied λ-calculus (Q3125230) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- From natural semantics to C: A formal derivation of two STG machines (Q5302645) (← links)