The G-machine In Detail, or How Lazy Evaluation Works

This post is an abridged adaptation of Simon Peyton Jones’ and David R. Lester’s book, “Implementing Functional Languages: a tutorial.”, itself a refinement of SPJ’s previous work, 1987’s “The Implementation of Functional Programming Languages”.

amelia.how/posts/the-gmachine-