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)