Removing recursion via explicit callstack simulation

I think defunctionalization (John Reynolds in ~1972) and also work on operational semantics and abstract machines are quite relevant to this blog post. See especially the example in the defunctionalization page:

https://en.wikipedia.org/wiki/Defunctionalization https://en.wikipedia.org/wiki/Operational_semantics