The G-Machine: An Abstract Machine for Graph Reduction (1983)

by T Johnsson
Venue:Proc. Joint SERC/Chalmers Workshop on Declarative Programming