The G-machine as a representation of stack semantics (1987)

by D Lester
Venue:Proceedings of the Functional Programming Languages and Computer Architecture Conference, pages 46--59. Springer-Verlag LNCS 274