An autoprojector (self-applicable partial evaluator) for a higher order subset of the strict functional language Scheme. Similix handles programs with user defined primitive abstract data type operators which may process global variables (such as input/output operators).Version 5.0.Anders Bondorf conformance: extension of large subset of R4RS Scheme.requires: Schemeports: Scm, Chez Schemeportability: highE-mail: Anders Bondorf .(1993-05-18)