Jon Fairbairn, Stuart Wray. TIM: A simple, lazy abstract machine to execute supercombinatorics. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Volume 274 of Lecture Notes in Computer Science, pages 34-45, Springer, 1987.
Abstract is missing.