M Waite, B Giddings, S Lavington - International Conference on Parallel …, 1991 - Springer
A new evaluation model for SK combinator expressions is presented and used as a basis for
the design of a novel processor. The resulting machine architecture resembles a dataflow …