Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
From MaRDI portal
Publication:3625516
DOI10.1017/S0956796800000319zbMath1159.68389MaRDI QIDQ3625516
Publication date: 5 May 2009
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
From natural semantics to C: A formal derivation of two STG machines, On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation, A verified framework for higher-order uncurrying optimizations, A type system for the push-enter model, Explaining the lazy Krivine machine using explicit substitution and addresses, Improving the lazy Krivine machine, The next 700 Krivine machines, State-transition machines, revisited, Specialisation of Higher-Order Functions for Debugging, Structure and Properties of Traces for Functional Programs, NixOS: A purely functional Linux distribution, π-RED+ An interactive compiling graph reduction system for an applied λ-calculus, Abstract λ-Calculus Machines
Cites Work