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 RS@diku.dk> conformance: extension of large subset of R4RS Scheme. requires: Scheme ports: Scm, Chez Scheme portability: high E-mail: AndeRS Bondorf RS@diku.dk> . (1993-05-18)