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: Scheme ports: Scm, Chez Scheme portaBility: high E-mail: Anders Bondorf . (1993-05-18)