SKIM - The S, K, I reduction machine
T. J.W. Clarke, P. J.S. Gladstone, Charles D. MacLean, A. C. Norman · 1980
SKIM is a computer built to explore pure functional programming, combinators as a machine language and the use of hardware to provide direct support for a high level language. Its design stresses simplicity and aims at providing minicomputer performance (in its particular application areas) for microcomputer costs. This paper discusses the high level reduction language that SKIM supports, the way in which this language is compiled into combinators and the hardware and microcode that then evaluate programs.