The SKIM II processor is a microcoded hardware machine for the rapid evaluation of functional languages. This paper gives details of some of the more novel methods employed by SKIM II, and resulting performance measurements. The authors conclude that combinator reduction can still form the basis for the efficient implementation of a functional language.
A set of facilities for an algebra system that makes it possible to mampulate formal power series is described. Unlike many previous power series packages, the one presented here does not enforce any predetermined or arbitrary limits on the order of expansions generated. The system can deal with the elementary functions and copes gracefully with removable… (More)
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… (More)
This paper describes the construction of a rational function package where the GCD and factorization routines are well integrated and consistent with each other and both use state of the art algorithms. The work represents an exercise in producing a service rather than an experimental piece of code, where portability, reliability and clear readable code are… (More)
In 1976 Risch  proposed a scheme for finding the integrals of forms built up out of transcendental functions that viewed general functions as rational forms in a suitable differential field and represented the polynomial parts of those forms in a distributed rather than recursive way. By using a data representation where all variables were (more or less)… (More)