Continuation-passing style, defunctionalization, accumulations, and associativity

<p><strong>Context:</strong> Reynolds showed us how to use continuation-passing style and defunctionalization to transform a recursive interpreter for a language into an abstract machine for programs in that language. The same techniques explain other programming tricks, including...