On: Registers vs. stacks for interpreter design (2003)

[DougMerritt]

The illustrious Henry Baker, based on the slightly earlier (and extremely influential) Linear Logic.

http://www.pipeline.com/~hbaker1/LinearLisp.html

There's a conceptual relationship to SSA (static single assignment)

http://en.wikipedia.org/wiki/Static_single_assignment_form

[agumonkey → DougMerritt]

This is a wonderful read. Opens your eyes on how different things can be done under the hood.